has anyone got any recommendations for minimally sloppy speech to text tools for linux (wayland, kde)