This bothers me more than it should.
It should be called the decoupler pedal because that’s what it actually does.
What if we compromise and name it the clutch decoupler pedal, and then everybody calls it the clutch for short?