Danke Don, ich hatte das gesehen, aber nicht vollständig verstanden, dass du das Markup wie geschehen bearbeitet hast, danke!
Glaubst du, dass das etwas ist, das im Kern geändert werden sollte? Kann jeder GitHub-PRs erstellen [Update: ja, das kann er offensichtlich]! Wenn ja, könnte ich etwas altes Wissen wieder auffrischen und es versuchen, indem ich das verwende, was du bereits getan hast…