Rename one of the web pages.

* compatibility: Rename to...

* changes: ...here.

* home-top, .htaccess, make-dist.sh: Adjust accordingly.