Kill outdated docs

they are only likely to confuse people.
If somebody wants to keep them, please import them into another
repository that is explicitly marked as archive for ancient things