Adding scripts for managing Firefox preferences