Thanks for this, I use it and userChrome for some add-on alterations, but it didn't occur to me I could use it for 'manual' about:config changes.

> The only downside is if you decide to undo a setting in user.js you’ll also have to make the same change in about:config.

You could change it to the inverse/default explicitly in user.js?