It sure is!

If it were five microseconds instead of one, that would be five times slower, but I'd definitely prefer to have the `lint`, because it takes me longer to move my eyes to see the results.

Unfortunately, I think the ~300ms slowdown for `lint` in this case is on the line of what's acceptable for something you do hundreds of times in a day. My inclination is to say that it's worth it, but I'm interested in other opinions.