I think JBL and some other brands do carry such earbuds, but maybe it might not be thz kind of wire you’d fancy. There are also cheaper options that have a wire linking the two ear buds, but as I said those are usually cheap and might not be up to your standards.

Damn that’s some great work ! When I started linux I wish I had found such ressources, I was really curious what each of these directories were for.

Would you mind if your material was reused (with credit) for education purposes ?