Formatting fixes
Replaced README by the proposal Gist