Harbor for Android 1.0.13

Videos play right in your notes. Tap a clip and it plays where it sits — no downloading it first. An encrypted clip tells you its size before it starts, so you spend the data only when you press play.

Also fixed: a whole-account export now names its format in the progress row — as HTML, as Evernote (ENEX), or as Markdown — so two exports running at once are no longer a guessing game.