@nprofile1q... Thanks, I'll keep my eyes open. Personally I'm fine with user.js, which I've been using for many years; but I'm very happy to know that the preferences will be exposed before too long where normal users will see them too.