ENH javascript compression

[tomMoral]

The javascript code is getting larger and larger and it is encoding directly in the HTML page, making it larger.
To reduce its impact, it is probably possible to use javascript compression tools such as slimit that can be used to compress the js before embedding it?

Before doing this, it would be important to assess how large the size gain would be, as this obfuscates the code in the page and can make debugging harder.

[Badr-MOUFAD]

Or we can decide on minifying the js file based on whether Benchopt is in DEBUG mode?

[Melvin-klein]

slimit is no longer maintained (last commit from 2018). However, there is https://pypi.org/project/jsmin/ that works well. When combining result.js and symbols.js in a single file I get 41ko. After minifying with jsmin, I get 25ko.