Deleted lib.html