Sehr geehrter Dr. Mauch,
vielen Dank für diese Rückmeldung. Ihre Anmerkung finde ich absolut sinnvoll. Ich habe dazu ein Produktverbesserungsticket angelegt. Da es sich um kein akutes Problem handelt, habe ich es erst einmal als low priority eingestuft, sodass sich das ein Entwickler bei Freiräumen anschaut und dann umgesetzt werden kann.