* updated tools.html, libs.html