Tienes razon, es FF, es que ahora se parecen bastante, con esas pestañas redondeadas!
Lo acabo de comprobar y tienes razon, se guarda como "500ccgrandprix.prg.txt", pero si luego le quitas el ".txt" funciona normalmente. Seguro que es cosa del explorador (¿quizás algún tipo de protección?), ya que desde Chrome lo guarda directamente.