SVGHMI: optimize browser work by hiding (display:none) pages that are not displayed.
svghmi
2020-02-21, Edouard Tisserant