Разобрал формат файла с таблицей рекордов и прикрутил отправку очков в PlayIchi. Можно прикрутить и обратную (из PlayIchi в игру), но особого смысла в этом нет, наверное.
Разделять очки по уровню сложности тоже не хочется, т.к. играть в «Революцию» всё же лучше на самом «лёгком» уровне — иначе боссы совсем уж утомительны. По этому поводу, возможно, добавлю установку уровня сложности в Easy на каждый запуск (если возьмусь разобрать формат хранения настроек).