If you upgrade to a later version of Firefox, you need to redo those steps, by the way.
My settings remained unchanged.