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