From db7718baf861cafc66f475aabbd79ebc3ec8ec91 Mon Sep 17 00:00:00 2001
From: Patrick McDermott <pehjota>
Date: Mon, 05 Aug 2019 20:30:30 -0400
Subject: dev/archive/mirroring: Give tl;dr isns

---
diff --git a/dev/archive/mirroring.mdwn b/dev/archive/mirroring.mdwn
index 3301a93..2f60568 100644
--- a/dev/archive/mirroring.mdwn
+++ b/dev/archive/mirroring.mdwn
@@ -11,6 +11,12 @@ their and ProteanOS's infrastructure.
 Setting up a Mirror
 ===================
 
+Overview
+--------
+
+*(Impatient mirror administrators may skip this informational section and read
+the instructional sections below.)*
+
 A mirror takes about 730 MiB of storage space as of this writing and should be
 expected to grow beyond that.
 
--
cgit v0.9.1