Release notes 11 February 2020

This release includes:

Notification onboarding

All users will get an onboarding at their first visit to the Vault to set their notification preferences.

Other improvements:

Various performance improvements and bug fixes.