From dfa4af5c19192967bdb3f7c49d5470f88b6c2760 Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
Date: Fri, 22 Jun 2018 11:08:19 +0100
Subject: [PATCH] record that "identity server" has two words

---
 meta/documentation_style.rst | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/meta/documentation_style.rst b/meta/documentation_style.rst
index 698eb027..a67f25ff 100644
--- a/meta/documentation_style.rst
+++ b/meta/documentation_style.rst
@@ -63,7 +63,11 @@ have English as their first language.
 Prefer British English (colour, -ise) to American English.
 
 The word "homeserver" is spelt thus (rather than "home server", "Homeserver",
-or (argh) "Home Server").
+or (argh) "Home Server"). However, an identity server is two words.
+
+.. Rationale: "homeserver" distinguishes from a "home server" which is a server 
+   you have at home. "Identity server" is clear, whereas "identityserver" is 
+   horrible.
 
 Lists should: