Sort pages by name on nav bar so that its order is deterministic.