Thank you, I will forward it (though it seems the bot owner only runs it, and nobody maintains).