Remove ancient documentation.

I've no idea how I missed this, but it's definitely not needed any more.