bug#33921: 27.0.50; Default height is inconsistently - and apparently also incorrectly - documented

[Eli Zaretskii]

> Date: Sun, 30 Dec 2018 18:47:01 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: triska@metalevel.at, 33921@debbugs.gnu.org
> 
>  > I actually think we shouldn't promise any concrete value, and instead
>  > say something vague, like "between 35 and 40, depending on the OS and
>  > the window manager".
> 
> The value of evaluating (frame-height) should be 36 if nothing special
> has been specified.

That's definitely not true for TTY frames.

> So before becoming vague let's wait until we have a report (maybe the
> present one) that demonstrates that a value of 36 cannot be obtained.

Fine with me, but I'd be very surprised if we conclude that 36 is an
accurate number in enough situations to cite it in the manual.