SVGHMI: split page switch into switching subscription and switching elements in the DOM, to ensure that subscriptions have been send before changing DOM, and avoid some flicker.
#!/usr/bin/env python
# -*- coding: utf-8 -*-
# See COPYING.Runtime file for copyrights details.
