Remove quite obsolete documentation