Hi everybody, hope this is an ok channel to report this... I might have found a bug, which I described here: https://tex.stackexchange.com/q/698031/72037 (also see my comments to the accepted answer for reproducibility) Best, Leo