Remove show_permid_shorter.