Recently the URL
www.antlr.org was changed from pointing to
www.antlr4.org. Needless to say there are links that use
www.antlr.org for referring to
www.antlr3.org that are now wrong.
While I know that search with
www.antlr.org will find if
www.antlr.org is in the text, it will not find it in the hyperlinks. How do I search the hyperlinks?