Unfortunately, it opens a can of worms... since it looks like the built in linkcheck did not detect the broken links, and this is not the only broken link.
Anyone have any recommendations on how to configure the builtin linkcheck so that it reports such errors?