No matches were found for subject:"<xref> vs <command> formatting in the docs"