From d4d3e5109969ebb0a0c4934c1b70beb2d3186bd3 Mon Sep 17 00:00:00 2001 From: Patrick Cloke Date: Thu, 14 Sep 2023 11:00:16 -0400 Subject: [PATCH] Clarify initial paragraph. --- docs/user_directory.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/user_directory.md b/docs/user_directory.md index 701339b52c43..630d5dafa323 100644 --- a/docs/user_directory.md +++ b/docs/user_directory.md @@ -1,8 +1,8 @@ # User Directory API Implementation The user directory is maintained based on the 'visible' users of a homeserver - -i.e. ones which are local to the server, ones which a local user shares a room -with, or ones who are present in a publicly viewable room present on the server. +i.e. ones which are local to the server and ones which any local user shares a +room with. The directory info is stored in various tables, which can sometimes get out of sync (although this is considered a bug). If this happens, for now the