Migrate to Doks 1.9#13

h-enk wants to merge 11 commits into

mainthuliteio/docs:mainfrom

nextthuliteio/docs:nextCopy head branch name to clipboard