Use @racket[] on the unquote-splicing identifier so that we get good hyperlinking.

Closes PR 13548.