the web mirror system is dropped
diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 076e1bf..2d5f93d 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -73,10 +73,6 @@
 
  o 
 
-New curl mirrors:
-
- o 
-
 This release would not have looked like this without help, code, reports and
 advice from friends like these: