Some thoughts on microphones for streaming and recording