ed.md: much more text
also tweak Piety/README