Found it:
Edit: Oops, maybe this one does not allow double tap, despite being CH. Read the linked thread. Still confused, although this is the type I saw last week. Should have called it, I suspect.
Edit again: Or maybe it is designed for double tap. Still not sure, for sure.
