Indeed. I was hoping to elicit some clarification and left out some of my own: if JS, CSS & HTML are part of the GPL'd product, I'd agree that those parts qualify as being 'distributed' to users.