# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1670718185 -3600
# Node ID e9a1fb8dc4a1d48119e832334ead4ae9d33ece76
# Parent  8523b23738c1f8058f75df86396f08d296930392
Minor adjustments; added headings.

diff -r 8523b23738c1 -r e9a1fb8dc4a1 docs/wiki/Components
--- a/docs/wiki/Components	Sun Dec 11 01:22:29 2022 +0100
+++ b/docs/wiki/Components	Sun Dec 11 01:23:05 2022 +0100
@@ -13,9 +13,9 @@
 <<TableOfContents(2,3)>>
 
 Components are accessed via interfaces defined using the interface description
-language supported by the ``idl4re`` tool. Interface operations in this
-document are described using excerpts from the appropriate interface
-descriptions.
+language supported by the `idl` tool provided by the idl4re distribution.
+Interface operations in this document are described using excerpts from the
+appropriate interface descriptions.
 
 == Filesystems ==
 
diff -r 8523b23738c1 -r e9a1fb8dc4a1 docs/wiki/Server_Library
--- a/docs/wiki/Server_Library	Sun Dec 11 01:22:29 2022 +0100
+++ b/docs/wiki/Server_Library	Sun Dec 11 01:23:05 2022 +0100
@@ -298,6 +298,8 @@
 
 ########
 
+=== Concurrency and Locking ===
+
 The `ResourceRegistry` coordinates access to filesystem resources and, through
 synchronisation, prevents conflicting operations from occurring concurrently.
 For example, a removal operation on a file may not be allowed to occur while
@@ -325,6 +327,8 @@
 
 ########
 
+=== Openers and Filesystem Access ===
+
 Since the `ResourceRegistry` functionality is generic, it could be specialised
 for each filesystem or be configured with an appropriate reference to a
 `FileOpening` object. The `OpenerResource` would then be generic, invoking the