New formula: aha

aha takes SGR-colored Input and prints W3C-conformant HTML.