Revert "docs: fix docs build again"

It's not needed any longer after Stefan's updates in the common module.

This reverts commit 09c550a172a2c8a76f0b48f2f8ce11070598f66c.
2 files changed