After installing the extension manager, in gnome-search it always repeats the first letter, re-login can fix the problem. It seems to be an old bug, please fix it.