SVGHMI: nicer error message
svghmi
2020-09-02, Edouard Tisserant