Ceylondoc tool should accept links to non-urls #1262