Looks like @hagier hasn't received any replies!