The missing links finder and the AsciiDoc->HTML converter are now merged
into <https://github.com/srfi-explorations/srfi-tool>. Maybe make this a
unified tool later.