tooling mypy fixes

22 jobs for doc-formats in 3 minutes and 54 seconds (queued for 2 seconds)