* index.html-top: Clarify language about Debian and Ubuntu.