Update stdlib/index.rst