I could bundle up the web pages into a distribution, e.g. in a github repo, and include the license file there. However, in practice, I am actually distributing the source files individually: They're up on the web. It sounds as if should include the entire license in each of the HTML files (e.g. as a comment in the HTML), making the source file five or six times larger.
I'll of course include a copyright notice, stating that the source is distributed under the GPL, but do I really have to include the entire GPL text in the page source? Can't I just provide a URL to the GPL?
I was unable to find anything relevant to this question in the GPL FAQ.