Ibus Typing-booster speeds up input of Indic languages