Add doco about using aha for HTML output