more link fixing in tools.markdown