Yes, I am filing under the 5-year rule. I am sure that the transcripts would show that the IRS doesn't have an issue with me.
On the other hand, the IRS could not have discovered this problem by itself, as it could not really know when the divorce had actually happened abroad. And it looks...