learn.html: use html version of copyright sign
index.html: add clickable IRC link