DSL: Clean up `README.md`