It seems audio input is not working anymore
- on Desktop (Chrome/Safari): request for mic permissions appears, is given but no sound input takes place. Contrast this with the example https://vlazzarini.github.io/vanilla/7.0/11.Rubber/ where audio input works correctly.
- on iOS (Safari): I don't see a request for mic permissions appearing.
It seems audio input is not working anymore