This causes a warning when accidentally backpatching an XML-style
empty-element tag like <xref linkend="abc"/>.