cvs-migration: improved section titles, better push/commit explanation