Fix a Firefox 22 compatibility issue (no checkbox in Preferences and no colors in filters list and list of proxyable items)