api docs: Making the appearance of revision number somewhat nicer