git-rev-list.txt: make ascii markup uniform with other pages.