Remove obsolete Firefox workaround