name-rev: drop unused parameters from is_better_name()