Automatic link highlighting was erroneously being triggered on <code>HEAD@{1}</code> because of the at sign outside of the tag.