Actually, I didn't stay long and got a raise somewhere else. Long story short, the company was very bad and I ran away quickly.

Sadly, never managed to get the company or anyone to publish the fix. Last I checked, the bug was still present, it's survived at least one full redesign/rewriting. The losses are well over a billion dollars by now. :D