* We have to stay on react 17 (and therefore next 12) because we require
@mui/styles which does not support react 18
* Furthermore react-mic does not support a version of react after 16
So I disabled the mic feature for now since it is not in use.
In the future we will probably have to fork or implement our own mic
library.