This came from another PR. It is fine. We initially pasted too much of the GNU stuff in the license file. These removed lines were instructions for us, not the public.