I have been trying to set up this rather specific environment, though no success so far (some problems with some downloads, and the script appears to restart rather than resume).

Maybe a backtrace might help to see if something can be tweaked. But there is nothing special in that plugin compared to any other GStreamer plugins, and the problem is pretty strange in itself (as you say).