Update the documentation for Gecko-related preferences