Edited manual; still more to do