Thanks, good to know!
Will there be an easy intermediate solution to accomplish this, like an automatic, scheduled export every day/week/... or triggering the export via command line, so in the end you can sync it to android with a third-party app like e.g. FolderSync?