Maintain the old URL for now. May add redirect(s) later.

These are derived from the git history, so some aren't exactly
right (e.g., modified dates from a commit where we just added/removed a
tag or something), but close enough and a good first pass.

Add caption support for code blocks and update to upstream syntax highlighting CSS.