Oh man I've gotten a few PR reviews that, in addition to really great feedback about correctness and performance, also include "remove this single blank line" c

Oh man I've gotten a few PR reviews that, in addition to really great feedback about correctness and performance, also include "remove this single blank line" comments for code that was already autoformatted. I'm trying to work on getting less annoyed about these, but I feel like they're really not worth anyone's time.