SVGHMI: re-indent generated JS
svghmi
2020-03-03, Edouard Tisserant