* index.html-top: Update note about Debian packaging.

* get.html-tmpl: Same.