Fortunately there is no time to revisit old rat-holes, otherwise I'd wonder why Russ wrote that a Message-ID is "more unique" when extended by a timestamp.
That is because the server's record of message IDs is a finite list in practice. No one should offer an opinion on how to resolve #1416 unless and until they understand this point.