diff -r 00bcd6b833a5 -r 944b942dab3d ProtocolNumbers.wiki
--- a/ProtocolNumbers.wiki	Wed Oct 10 17:26:35 2018 +0100
+++ b/ProtocolNumbers.wiki	Tue Oct 23 22:56:10 2018 +0100
@@ -1,4 +1,4 @@
-#summary List of protocol numbers
+#summary Explanation and list of protocol numbers
 
 = Protocol numbers =