BatteMan reported a bug in the community section here on itch.io and, after checking out the code, I realized that I had introduced a bug (probably the cause of the reported issue, which unfortunately I could not reproduce) with the previous changes. It's fixed now.
Also, I have recompiled the game against a further updated custom framework, which makes the startup and cleanup procedures more robust (these last changes did not make it to the previous update by mistake), and improved the manual slightly.
* Fixed bug (introduced by the previous update) that allowed both players to point the same card at the same time.
* Built against latest custom framework (which makes the startup and cleanup more robust; these last changes did not make it to the previous update by mistake).
* Improved manual slightly.