Comment by latexr

> Small nitpick

Nitpick on your nitpick: By definition, all nitpicks are small. This isn’t important, but I thought you might appreciate the meta commentary.