...do you still have the main.js that was the uncompressed source for the modified main.min.js that you shared?

We have and provide the source of every file for every point in time since the developer(s) started to use Git. At the moment you can take the source of the file from the master branch. If you start changes from an older version you can open a menu from the button "branch: master" and select a branch or a tag (as stable declared version).

I thought I would be able to do the reverse engineering myself, but the compressor changes variable names what makes it a more difficult task.

Backup, backup, backup!

Tschö, Auge