Return value of use_extended_names

[Mike Gran]

Hi-

The man page for use_extended_names doesn't describe the return
value for use_extended_names.  The code suggests that it returns
the previous value of the use_extended_names property.

Thanks,

Mike Gran