Oh, I'm not disputing that. I just thought it was an interesting bit of history that the original message (which OP linked to) mentioned two dead formats and no

Oh, I'm not disputing that. I just thought it was an interesting bit of history that the original message (which OP linked to) mentioned two dead formats and none of the formats that are integral to the modern web.