I encountered another problem. I removed an extension due to one misoperation. Then I wanted to reinstall it back. However, after searching, a bunch of extensions with analogous name and icon are shown. I even didn't know how to select the one I ever used out of the list. I's embarrassing.