Firefox – a böngésző névadója