Automatic label collector for TI-2

You cannot simply open this page with a browser from your file system. Instead, you have to host it on an http server with CORS enabled running in the course main directory, for example
        TI-1 $ http-server .  --cors
and then open http://localhost:8080/javascript/put-all-in-one-page.html in your browser.

      

When done, paste the above json globalLabelsCollection = {...} into the file number-my-theorems.js