-
info documents generally like to have a category and a directory entry available for system-wide indexing. I can't find anyone who uses a category other than Miscellaneous for the category, sadly, but apparently info will be happier with a dummy category like Miscellaneous than with no category at all.
84784174