Don't strip `index.html` from external links

[cscheid]

This causes breakage on badly-configured servers like CDNs that don't redirect */ to */index.html by default, such as CloudFront, as can be seen by links to Databricks's docs in our own current documentation.