I haven’t tried with Linux, but it is a standard USB mic: Samson Meteor.
It’s $30-$40. It folds for travel. The audio quality is great. It can be mounted on an arm.
A post on linux.org from May says:
I bought a simple, cheap and cheerful usb mic - Samson Meteor condenser Microphone Analogue - and it all works great. Just plugged it in and away it went. I opted for a mic that didn't need any drivers. Apparently only the cheap ones don't come with drivers.