otoh, I doubt that linting would be done very often, and I prefer to catch bad style earlier than later. It also helps to catch compatibility problems that are not yet covered by tests. So I'd rather leave it in, and if we don't like it after a while, remove it again.