a5: Rename README file
* Otherwise Github won't format it