Hi Bob - thanks for the patch. No problem there, but:
It assigns the info DIR category to "Information".
Have you seen this category used for anything else? It doesn't exist in
my dir file, or the dir-example file in Texinfo that I used to maintain,
but that's hardly definitive. I wouldn't want to make up a new category
just for this obscure document.
Although I think the "Miscellaneous" category should not exist, I admit
I'm tempted to use it, because I don't see anything better. Sigh.
Thanks,
Karl
