I'm happy to effect these changes unless anyone sees a problem or a risk in doing so (Ads?).
Let me update the bot first, else we have to do this twice.
Regards,
--
Andreas 'ads' Scherbaum German PostgreSQL User Group European PostgreSQL User Group - Board of Directors Volunteer Regional Contact, Germany - PostgreSQL Project