Danke für den Bericht, ich füge pr-welcome hinzu, falls jemand einen Patch einreichen kann.
Sie könnten auch einfach ein .diff hier posten und dann einem Community-Mitglied die Anerkennung überlassen 
4 „Gefällt mir“