The even greater irony is that the document you link is wrong about end
use restrictions in the first place. GPL's terms don't even apply to the
end user. It only restricts what you do when you make copies.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds