Redstone comparators are named "Comparator"

Redstone comparators were recently renamed to “Comparator” in-game; while this does match their internal ID (minecraft:comparator), this is inconsistent with redstone repeaters, whose internal ID is minecraft:repeaterand yet are still named “Redstone Repeater” in-game, and is also inconsistent with Java Edition, where redstone comparators are still named “Redstone Comparator”.