Need some kind of link checker

[jhiemstrawisc]

I'm finding lots of dead inter-page links in our docs that result from moving a page from one place to another. It'd be nice if we had an automatic way to detect these as part of the docs PR process.