[Q] commit: No doc special-case for autoloads; rely on on #'symbol-file instead.

[Stephen J. Turnbull]

QUERY

Aidan Kehoe writes:

 > No doc special-case for autoloads; rely on on #'symbol-file
 > instead.

Does #'symbol-file tell you it's an autoloaded symbol?

If not, how is this better than the status quo?