Re: void variable

[Richard Stallman]

    Is the behavior a bug that should be fixed, or is it OK but should be 
    documented? Or is it documented already?

It is hard to do anything about this--this is a special case of how
variables work.  I tend to think it is not worth documenting in the
manual.  Important variables typically get autoloaded, which means
they are defined before the relevant file actually gets loaded, so
loading the file doesn't set them anyway.