<p align="center"><b>Check Links</b></p>
<p>This tool checks all http:// links for availability, and afterwards resaves the
wiki page with the dead links marked for easier editing.</p>
