Fix Tools example hrefs