Oh wow, I have tried to research it, but never came across the name. This is exactly it. The neurologist (who I saw for a cluster of similarly petty symptoms) and the ENT I've seen about it didn't provide that term for me.