Hi Thorsten Möller, thanks for the reminder and sorry for the radio silence :-/ I was busy preparing a conference talk, which luckily is done now. I will look into the PR tomorrow.