Use the `not-on-the-web' style *around* the installation comment.

Otherwise making it have a "display: none" style leaves a visible empty
div.