Yes, linking to specific specifications can be a pain once they've been added to the main ISA doc. Perhaps I'd be better off linking to the raw .tex, but that's

Yes, linking to specific specifications can be a pain once they've been added to the main ISA doc. Perhaps I'd be better off linking to the raw .tex, but that's not always particularly readable or as I think you suggest, not bother linking at all if the link isn't directly to the mentioned extension.