@jwz Well, he didn't go back in time to put it in PD, so sorry for not knowing that he would have to do that to change the license to CC instead.