Looks like @dtsbourg hasn't received any replies!