“URLinfo is a tool for handling web pages: finding information about it, translating it, finding related pages, etc.”