Update index.html

Keep github/irc name uniformity