Oops, add forgotten copyright-status notices!