Issue #31: Shorten the GPL per-file header