Use cetz genhtml.py#18

johannes-wolf wants to merge 3 commits intomaincetz-package/docs:mainfrom

use-cetz-genhtml.pycetz-package/docs:use-cetz-genhtml.pyCopy head branch name to clipboard