HTML generation from Python using the ``with`` keyword (experimental)