As readers of the cvs commit logs know, Theo has identified the file in question, and I've removed it from the repo until such time as its legal status is resolved. If there are futher issues, please feel free to mail the specific files to core@ and any proof of ownership (if it wasn't obvious from the file(s) like it was in this case). Warner