Hi, earlier today we had a spammer on JIRA. I've reached infra to confirm that, in fact, this user was a spammer. They've disabled the user and, some minutes ago, I've removed the related posts, that's why you've seen a bunch of emails regarding the deletion of comments; apologies on all the noise in between.
br, juan pablo
