Unterschiedliche Firefox-Grundkonfigurationen je nach Betriebssystem?