<div dir="ltr">Over the course of the past year I have several times tried to reproduce this bug, but I have not succeeded. Indeed, I also no longer see the bug without a manual build (i.e. the version as installed by Debian). I think this can be closed for lack of progress / reproducability.<br></div>