Fixed link to standard lib hotdoc