Fix the sort order for the documentation version picker, so that newer releases appear above older ones.