It was mentioned that building a Raspberry Pi port would share most of the challenges that the Android version had (limited memory, etc...). Will there be a serendipitous version for Raspberry Pi?