A WFST-plugin for Leaflet.