Remove an unused section on the documentation.