[latexrefman] @file or @code for package names

[Karl Berry]

    We use both, and Karl changed some @file to @code in revision 914.
    What is our _official_ way ?

There is no official way.

My idea was that @code makes more sense because a package name, say
geometry, is not a file. geometry.sty is a file.

All those different markup commands (@env, @option, etc.) make no
practical difference, so it's not worth worrying about, IMHO. -k