No content any more - delete, I think. We should just drop new stuff directly into the manual.