Using Web audio API Audioencoder to export filtered audio to ogg?

https://developer.mozilla.org/en-US/docs/Web/API/AudioEncoder/configure

I am reading through these docs, and it seems as though it is possible to encode filtered audio to .ogg without using a third party library or framework

Is this true?

The docs are quite thorough and I've just stumbled upon this page.

I ask because there is literally no clear solution online which confirms that this can be done without either some external lib or much effort working with low level stuff.

Dont believe me? Search Google for "web audio export to [wav/MP3/ogg/etc.]"

Thanks in advance