Thanks for the upvote @half-fast !

Yeah, I thought about changing that. It's not really necessary, but I read that having people comment something a little different helps weed out bots or autoresponders.