To remove the type repository from disk, press the Remove button. The database will be closed if it is currently open and all stored information will be erased.