more Firefox workarounds