tdoc-0.4.0: TDoc is a typed document builder with support for (X)HTML