Diese kleine Detailinformation aus der "Anfangszeit" wird im Laufe der Zeit sicherlich in den Hintergrund rücken und zu straffen oder ganz zu streichen sein. Das gilt aber grundsätzlich, je weiter die Etablierung fortschreitet, also auch für andere Passagen der Browsergeschichte im Jahr 2015, die in der Rückschau an Bedeutung verlieren und eine größere Überarbeitung sinnvoll erscheinen lassen. -- WinfriedSchneider 10:02, 15. Jun. 2016 (CEST)