An extensible, web-based IME