remove obsolete documentation (fix #19)