Looks like @henryjbarre hasn't received any replies!