The simplest possible HTML document generator for Python