Release a microphone stream that arrives after the recording dialog closes

A user clicks Record. The browser asks for microphone permission. The user closes the recording...