README.md: formatting def lists