Am Sonntag, 22. Juli 2018, 22:27:29 CEST schrieb Robert Krawitz: > Anybody object if I push this little cleanup while we're at it? No objections from me ;-) Thanks for cleaning this up! Johannes