Looks like @tugdual hasn't received any replies!