Mutt produces duplicate message-ids if others use the same format but
different number sources, if someone's system clock is bad or... I
forget the third case.
(Digression: There are so many hosts with
address 192.168.1.42 these days, and poor clocks too.)