Are we still doing these copyright thingies?

Removing extraneous information.