So it seems we will standardize on linking to Google Patents from mentions of patent numbers / codes / IDs (what are these things generally called by the way?)
It would be a neat and simple little feature to add then for the system to look up the referenced patent, extract the title, and it it to the HTML using the title
attribute. I'm assuming you're already using a Google Patent API which would neatly provide this info.