To display some statistics about the type repository, press the Info button.