Hey, I use Firefox but I’ve never heard of making edits to the user.js config. Could you point me in the direction of some information about this?