Filter box on "Manage names" page, minor GUI modifications.