Revert "'Published documentation'"

This reverts commit 29c475ce613f59d0d8ac0628366e2115f57204d7.