Fix index.html script links.
Documentation and code agree with type checker more.