H. S. Teoh:
Unfortunately, it's not within my control. It's the mailing list to NNTP gateway that has a bug where message IDs are sometimes rewritten when they're not supposed to be. I suggest you should pester the listmaster instead, that way, we'll get a solution that works for everybody, notjust for me. :)
I see, OK, and sorry. Bye, bearophile
