Looks like @gregoryantoin hasn't received any replies!