text in references does not appear in TeX output

[medovina]

A reference in a Verso document can contain text to be rendered. For example, Basic.lean in Verso's own user guide contains this line:

  Verso's {ref "verso-markup"}[markup language] is a simplified variant of Markdown.

In the generated HTML this appears correctly as a hyperlink. It looks like this:

Verso's markup language is a simplified variant of Markdown.

In the Manual genre it's possible to generate TeX output. However in the generated TeX file the reference text (i.e. "markup language" in this example) does not even appear:

Verso's \autoref{verso--markup} (p.~\pageref{verso--markup}) is a simplified variant of Markdown.

If I generate a PDF from the TeX file, the text appears like this in the PDF:

Verso’s [chapter 2] (p. [3]) is a simplified variant of Markdown.