Mozilla hat eine neue Version seines Browsers veröffentlicht, die nur mit kleinen, dafür aber nützlichen Änderungen aufwartet.