Thank you! That’s helpful. (And apologies for the belated response—for
whatever reason, Google Groups did not send me your reply by email.)
On Friday, December 15, 2017 at 9:35:09 PM UTC-8, Matthew Butterick wrote:
>
> Neither. The code is tagged with Pygments. The terms that end up in the
>
Neither. The code is tagged with Pygments. The terms that end up in the `k`
and `nb` classes are Racket identifiers. These are passed through a
function that generates a link to the docs, derived from the `docs`
function here. [1] Then a few housekeeping details to make everything look
right.