<div dir="ltr"><div dir="ltr">I did some work on real time propagation, especially in this timeframe. I will look into it.<br><br>Update: It happened in version 13923, but it is a very subtle change it might take me a while to realise what exactly it is.<br></div></div>