src/doc: uniformize name display