noted that paper tex source is now in repository.