diff --git a/public/twelftut/index.html b/public/twelftut/index.html
index b8fa0eb..4c77779 100644
--- a/public/twelftut/index.html
+++ b/public/twelftut/index.html
@@ -7,7 +7,10 @@
This is a twelf tutorial I made in flash in December of 2005.
-Putting it here for archival purposes.
+Putting it here for archival purposes. In its original form, it was able
+to connect to twelf over a socket, but that functionality certainly
+no longer works now.
+