Looks like @gfrichet hasn't received any replies!