Thu, 26 Mar 2020 11:17:34 +0100 Edouard Tisserant SVGHMI: Check that explicit relative page jump path is consistant with destination page reference path. svghmi