Update testlibrary.html