#tex-red-patent