> Feel free to only edit Misc/NEWS; before releases I'll go through it > to find things I've missed, so there's no need to update whatsnew23.tex. > I don't mind if people edit whatsnew23.tex to add items, but it's > certainly not necessary. Thanks for mentioning that. I was really wondering about what to do. -- Gustavo Niemeyer [ 2AAC 7928 0FBF 0299 5EB5 60E2 2253 B29A 6664 3A0C ]