purism's server is dead apparently

Downgrade purism's keysafe server from recommended to alternate, mostly
because the server is down, and AFAIK has been down for years, and I don't
currently know if they plan to ever provide it again.

I hope it comes back, especially since they committed to run it through
2027..

This commit was sponsored by Jack Hill on Patreon.

3 files changed, 10 insertions, 4 deletions

diff --git a/CHANGELOG b/CHANGELOG
index 8e7cc36..bbf9810 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -3,6 +3,9 @@ keysafe (0.20200214) UNRELEASED; urgency=medium
   * Updated many dependencies.
   * Support building with ghc 8.x.
   * Stackage lts-14.25.
+  * Downgrade purism's keysafe server from recommended to alternate,
+    mostly because the server is down, and AFAIK has been down for years,
+    and I don't currently know if they plan to ever provide it again.
 
  -- Joey Hess <id@joeyh.name>  Fri, 14 Feb 2020 12:49:32 -0400
 
diff --git a/Servers.hs b/Servers.hs
index 3e4e792..b81a219 100644
--- a/Servers.hs
+++ b/Servers.hs
@@ -23,11 +23,11 @@ serverList d =
 		[ServerAddress "vzgrspuxbtnlrtup.onion" 4242]
 		"Provided by Joey Hess. Digital Ocean VPS, located in Indonesia"
 
-	, mk Recommended $ Server (ServerName "keysafe.puri.sm")
+	, mk Alternate $ Server (ServerName "keysafe.puri.sm")
 		[ServerAddress "hlmjmeth356s5ekm.onion" 4242]
 		"Provided by Purism. Located in the EU (Cyprus)"
-		-- Note that while Joey Hess is employed by Purism,
-		-- he does not have access to this server or its data,
+		-- Note that while Joey Hess was employed by Purismat one
+		-- point, he never had access to this server or its data,
 		-- and Purism has policy to never allow him such access.
 		-- This is important since he runs keysafe.joeyh.name.
 
diff --git a/doc/servers.mdwn b/doc/servers.mdwn
index d190603..06f8167 100644
--- a/doc/servers.mdwn
+++ b/doc/servers.mdwn
@@ -70,6 +70,9 @@ Keysafe's server list puts servers in three categories:
 	=RmK4
 	-----END PGP SIGNATURE-----
 
+(Unfortunately, Purism's keysafe server went down at some point before
+2020. Hopefully they will bring it back and meet their commitment above.)
+
 ### Alternate
 
 #### keysafe.joeyh.name
@@ -108,7 +111,7 @@ Keysafe's server list puts servers in three categories:
 
   Provided by Marek Isalski at [Faelix](http://www.faelix.net/).
   Currently located in UK, but planned move to CH.  
-  Vetting to Recommended level in progress.
+  Vetting to Recommended level stalled several years ago.
 
 ## Detailed requirements