Update LibraryAndTools.html