Thanks for your appreciation, all.
Dirk, did you mean this one : ynjh.panda3dprojects.com/OIDE/IDE_STARTER.pyw ?
It was just a temporary fix. The latest update already covers that bug, of course, so I removed it. I should’ve put that link away. Now it’s gone, so it won’t confuse anyone else again.