Notably, remove a section that was just describing the workflow that is now
used by 99% of people, thanks to github and co. People now how to do these
things nowadays.