Don’t show tool name in <code> element
IMHO it’s questionable whether a tool name qualifies as code, and more importantly, the special styling for code elements makes it less obvious that the name is actually a clickable link to a potentially useful target (toolsadmin page with toolinfo records, Phabricator projects, …).