Yelp

(The Help System)

mal.link.extension

The filename extension for output files.

When link targets are constructed by mal.link.target from xref attributes, this string is appended. This is used to specify the file extension when creating output files from Mallard pages.