Not sure why the parent is getting downvoted -- the ps.gz file lacks searchable text, which is a reasonable thing to expect in 2015. But, of course, the file is freely made available by Don Knuth, so all is forgiven :)