only if you can’t play the HTML export. Unfortunately picotron different yet have binary exporters. They’re due very soon though
