Update stdlib.html