removed copyright (because it's "copyleft").