ed.md: much shorter and better
also revise comment header in ed.py and ed0.py