Explicitly link to the index.html files instead of relying on the web
server's directory index configuration to DTRT (i.e., link to
"ports/index.html" rather than "ports/"). This also makes it easier
for people without the desire to set up a web server to test changes
to the web site.

PR: 23230