Ur/Web: bring README.md up to date