Moin,

ja, das kann wohl auch weg.
Habs mal sofort erledigt (changeset/162732733).
Danke für den Hinweis :)

Freundliche Grüße