Removing defunct documentation management interface.

We've migrated towards using static site generators to maintain the
public content.