SVGHMI: re-indenting
svghmi
2020-03-02, Edouard Tisserant