On Tue, 11 Feb 2020 at 11:13, firstname.lastname@example.org
first, yes, if something is a filename, then <filename> is theI'd say fine, patches welcome. Maybe Scott chose a subset of Docbook
to ease the formatting? Either way, I can't see a good argument
*against* using a broader set of tags. At some point you could have
some lint tooling to verify that every <variable> is in the variable
index, for example.