fix issue 16372 - Broken links in documentation

[aG0aep6G]

Also fixing another mistakenly highlighted "format".

[dlang-bot]

Fix	Bugzilla	Description
✓	16372	Broken links in documentation

[wilzbach]

Thanks for fixing, we should really come up with a solution that prevents broken links a priori :/

[JackStouffer]

Now that we have travis should be simple enough: grab the changed files list from DAutoTest, run a web scraper to get all a tags, ping all of the urls

[wilzbach]

Now that we have travis should be simple enough: grab the changed files list from DAutoTest, run a web scraper to get all a tags, ping all of the urls

I am not so sure whether it's that simple, but I agree quite doable, some potential problems that come to my mind:

1. we are about to switch to CircleCi, but that's just a minor detail
2. you can use the Github API to get the available CI results, but unfortunately they are quite heavily rate limited (see eg [CircleCi] add more soft fallbacks dmd#6053)
3. IIRC there are some cases when the resulting diff gets quite large

Do you want to play with it?