misc doc updates

Generate pre-formatted HTML which gives us a consistent visual style
with our mailing list archives and enhance linkability.  <a>, <pre>,
and <title> are among the few useful HTML tags I'll use :P

Drop the AUTHORS file, it's pointless maintenance task and users can
just look at git history instead (and honestly, I have zero interest in
recognition; I only use my real name to deter GPL violations).

0 files changed, 0 insertions, 0 deletions