Comment by krig

I just reported the bug, it was the bot that was proudly mentioned in the announcement which created the PR and the code...