On Fri, Jul 30, 2021 at 2:31 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

To enable this, I would like to propose adding a syntax analog of `make-dtd':

Done.