Point to Github instead of to a broken redirect

[LucasLarson]

Send user to the Github help doc instead of to a defunct Google Code page (which redirects to this project’s Github page).

There’s also a proposed change to options.html, which is ready for merge.