Nits for week #3

* g100.texi: updated
* index.html: updated