REEF v0.1.6 pre-release 3

REEF v0.1.6 pre-release 3 — muted channels follow you between devices

Testing build. Installed desktop users: stay on v0.1.5 — nothing is pushed
to you from this pre-release. The final v0.1.6 will ship all platforms with
auto-update.

New in pre3:

• Mute sync. Mute a channel (or a whole server) on desktop and your phone
  follows within a minute — and vice versa. Whatever you changed last wins.
  Needs the updated server plugin below; servers without it simply keep
  per-device mutes like before. Admins can turn it off with the plugin's
  "Allow settings sync" setting.
• Updated server plugin: reef-plugin-0.5.0.zip. Each user gets one small
  private blob (8 KB max) on the server for their own settings — the server
  never reads it, and nobody else can.

Also in the pre-series (see pre2 notes):

• Fixed: wrong messages shown in the wrong channel from the wrong users when
  switching servers while a channel was loading.
• Notifications work out of the box on the phone (mentions, DMs, replies
  default on).
• Subscribe in ntfy opens the ntfy app directly; copy-topic fallback.
• Landing screen (with per-server progress) when returning from background,
  instead of the old login/loading flash.

How to test mute sync

Install this build on both devices, connect both to a server running
reef-plugin-0.5.0, mute a channel on one device, and give the other up to a
minute (it's instant on rejoin). Both devices need the Use Plugins permission
on that server.

Download

• Android: REEF-Android-0.1.6-WIP.apk — install over your old one.
• Windows (testing): REEF-Portable-0.1.6.exe — portable, runs next to your
  installed REEF without touching it.
• Server plugin: reef-plugin-0.5.0.zip — upload via Settings → Plugins
  (replaces 0.4.0; all settings carry over).