Simpler embedded copyright notice.