... könnte man auch so lassen.
Würde ich vorerst tatsächlich machen. Einen Hotfix wegen einem so kleinen Fehler ist da vielleicht kontraproduktiv: Weil ich verstehe nicht ganz, warum das so ist. Ich habe dennoch eine Möglichkeit gefunden, den Fehler zu korrigieren und Tests haben ergeben, dass es auch die 4K-Versionen und die Graue Maus betrifft und dass sich der Fehler auch dort gleich lösen lässt. Aber eben vielleicht kommt über den Fix ein neuer Fehler hinein. Sollten sich aber noch weitere Probleme zeigen, würde ich diese Korrektur selbstverständlich miteinfliessen lassen.
Wenn wir gerade bei der "Grauen Maus" sind. Da muss ich noch meine Bildchen hochladen:
Wenn ich dann mal Lust habe, update ich auch die erste Seite.