Do we really need both Doc/whatsnew/* and Misc/NEWS? It seems that people frequently make nearly the same edits to both files, or add to Misc/NEWS only and someone later (usually Andrew) goes back and twiddles the necessary bits in Doc/whatsnew. Skip