Comment by latexr

> Boris is probably the single best rep in the community, possibly ever.

When you say “the community”, what exactly are you referring to?