Private, offline speech-to-text for Linux: push-to-talk dictation into any app, meeting …