Looks like @lukashuber hasn't received any replies!