Add basic support for tagging text in the spec#1769

Timmmm wants to merge 2 commits intoriscv:mainriscv/riscv-isa-manual:mainfrom

Timmmm:user/timh/linksTimmmm/riscv-isa-manual:user/timh/linksCopy head branch name to clipboard