doctool: breaks with python markdown 3.x
https://python-markdown.github.io/change_log/release-3.0/
The "HeaderId" extension got replaced by a "toc" one. We currently fail with
from markdown.extensions.headerid import HeaderIdExtension
ModuleNotFoundError: No module named 'markdown.extensions.headerid'