on second thought, I'll keep using Symbola, maybe export it to other formats as needed
more examples of games