I wonder if we can make linting fail for these types of comments. It feels silly to have a discussion about them.