* docs/manual/vision.txt: