Workaround broken mkdocs builds: OTG0070056
assigned to @geargyri
merged
mentioned in commit 0c78a033