More semantic HTML

[ExpHP]

• Use nav
• Use figure and figcaption (I've long intended to do this...)
• Use main
• Microdata for instruction tables would be cool but I don't think it'd be useful without server-side rendering? Bleh.