Re: mentioning variable aliases in `describe-variable'

[John Paul Wallington]

> > > 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.

I guess it does look cleaner without it.

-- 
John Paul Wallington