Re: mentioning variable aliases in `describe-variable'

[Miles Bader]

John Paul Wallington <address@hidden> writes:
> > And speaking of that: why does `describe-variable' put that useless
> > "Documentation:" header? `describe-function' does not do it, i.e.:
> 
> I think for variables with big values, like `global-map', it makes sense.

Why?  If you mean `because it matches the Value: label used below', I'm
not sure why it matters.

I agree with Juanma; `Documentation:' is just an ugly and useless wart.

-Miles
-- 
Is it true that nothing can be known?  If so how do we know this?  -Woody Allen