Revert "Follow up to 3291f2e, the documentation didn't get merged."

This reverts commit a135504c054128e383379cfa20639c53f9eed6f2.