factor out render_name so callers can reformat the name+pid