Clarify and link to on-line GPL3 text