[kibwen]

They may have upgraded by now, their source links to a thread from a year ago, prior to the 2024 edition, which may be when they encountered that particular bug.

[kflansburg]

I see now that this incident happened in September 2024 as well.