Still more web page improvements.

* index.html-top: Put the same Debian notice here as added to the
    get.html page in commit 868ebc21e.

* index.html-bottom: Update repository location.