[tex-k] Minor Non-Technical Error in TeXbook

[Karl Berry]

Hi Jon,

    "It's not necessary for you to learn these category numbers;"

Thanks for the suggestion. I'm not sure Knuth will agree, but it'll be
up to him.

    be replaced by "category number" everywhere, but that might be
    more than you're willing to consider.

Indeed, he certainly will not want to do that :). The terms "category
code" and "catcode" are deeply embedded everywhere in the TeX world; the
"\catcode" primitive, just for starters. --thanks, karl.