Hugo Barrera authored Jun 30, 2020 and Harald Sitter committed Oct 21, 2020

GitLab renders markdown by default in the project page. Rename the
README to README.md, and update the formatting a bit so that it renders
nicely.