Nicely done! Seeing that it uses a port of Whisper, here's my shameless plug for a gnome extension I made using Whisper:

https://extensions.gnome.org/extension/8238/gnome-speech2tex...