Rude. Pedantic. Unhelpful.How he gets paid so much is a mystery.Will periodically comment on your PRs.
