update all copyright notices and sneakily remove an obsolete file