Comment by gpvos

Firefox didn't offer to translate this, so initially I wasn't aware that it could. But I could get it to translate via the menu. And Google Translate is still a bit better, so I do regularly fall back to that.