And writing a comment here instead of in an issue where the developers might hear of it is not a smart move either :)

He should definitely have done it elsewhere.