Do you know if there's a way to specify custom userChrome in AutoConfig[1]? I rely on that to keep my customizations consistent across machines—I really don't want this to be a part of my profile.

[1] https://support.mozilla.org/en-US/kb/customizing-firefox-usi...