checking PHP manual for broken links

Hi phpdocs team!

I'm looking at improving a few pages (based on the previous discussion
about incorporating user comments into the PHP manual), and a comment was
raised about adding a link to an external resource. I'm hesitant to do this
as I used to maintain a website that linked to a few hundred different
external resources and broken links were a common problem. But, with that
website, a tool was used that crawled the site for broken links and email a
report if there were any.

Onto my question!
Is there an automated script or process that checks the PHP manual for
broken links and sends an email to the phpdocs list with these broken links?

Thanks,
Tiffany Taylor