A Python library for the generation of HTML documents