the code is a tiny bit more complicated as we keep the call to get_webxdc_info() in background and also avoid a second call to get_webxdc_info().
B. Petersen