> However, changing the default from 300 to 200 appears to have fairly
> good results, in my testing - this still omits the bottom bar for
> very short nodes while adding it in for some longer ones.
Sounds reasonable.
> It is complicated by the fact that the word count is done on the
> HTML output, including all tags. [...]
.>
> There's probably no point in trying to change this, as users may be relying
> on the setting. We could just add a brief mention to the manual that
> the header and HTML tags are included in the count.
Yes, sounds reasonable, too.
I guess that changing `WORDS_IN_PAGE` is mainly for people who have a
custom footer – for example, LilyPond adds links to switch the
language of the manual, and we want to have this on all HTML pages.
Werner
