Firefox Gecko integration with Web Speech API and pocketsphinx