Differences in `web.html`

[Werner LEMBERG]

Comparing

  http://lilypond.org/web.html

with a self-compiled

  .../out-www/offline-root/Documentation/web/web.html

I see the attached difference.  Is it an oversight that
`scripts/build/fix-docsize.sh` is not executed while building the
website on 'lilypond.org'?


    Werner


PS: That we now see 'web.pdf' instead of 'Web.pdf' seems to be a
    consequence of commit d638af5410936d255f.