As I've not seen any problems so far, I'm considering uploading the new package. Any objections, suggestions? IIRC, we once talked about some NEWS.Debian entries. Are the ones I have used OK? --