Note that the oldest version of that story is due to a Christian Arab writing centuries later, complaining about all the bad things Muslims have done. There's no credible evidence from a non-axe-grinding source that anything like that happened.

Not to mention the fact that the Library had ceased to exist by the 4th Century, long before Omar showed up.

(Though I agree with you that the original comment looks like a recycled version of the Omar story.)