It’s this one. Had a run for 6 years using exclusively portapros. I’m using larger cans now, but I do kind of want one of those.

Koss just came out with portapros with (partially) detachable Usb C and jack cables, if you would like something that doesn’t go inside your ears.