I was curious what ever happened to Lavabit. Apparently it restarted in 2017! Anybody using it?