Copyright, attribution, and naming

Correcting to make this less illegal, and to give myself some credit for
doing so.