(search) Disable scribe.rip substitution

It does not appear to work well

code/index/java/nu/marginalia/index/IndexQueryExecution.java

@@ -76,7 +76,7 @@ public class IndexQueryExecution {
     }
 
     private void lookup(IndexQuery query) {
-        final LongQueryBuffer buffer = new LongQueryBuffer(8192);
+        final LongQueryBuffer buffer = new LongQueryBuffer(1024);
         try {
             while (query.hasMore() && budget.hasTimeLeft()) {
 

code/services-application/search-service-legacy/java/nu/marginalia/search/SearchOperator.java

@@ -199,16 +199,19 @@ public class SearchOperator {
                 return new EdgeUrl("https", new EdgeDomain("breezewiki.com"), null,  "/" + subdomain + path.substring(wikiIndex), null);
             }
         }
+        /*
         else if (topdomain.equals("medium.com")) {
-            if (!subdomain.isBlank()) {
-                return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, path, null);
+            int slashIndex = path.indexOf("/", 1);
+            if (slashIndex >= 0) {
+                if (!subdomain.isBlank()) {
+                    return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, path, null);
+                }
+                else {
+                    String article = path.substring(slashIndex);
+                    return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, article, null);
+                }
             }
-            else {
-                String article = path.substring(path.indexOf("/", 1));
-                return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, article, null);
-            }
-
-        }
+        }*/
         return url;
     }
 

code/services-application/search-service/java/nu/marginalia/search/SearchOperator.java

@@ -230,16 +230,19 @@ public class SearchOperator {
                 return new EdgeUrl("https", new EdgeDomain("breezewiki.com"), null,  "/" + subdomain + path.substring(wikiIndex), null);
             }
         }
+/*
         else if (topdomain.equals("medium.com")) {
-            if (!subdomain.isBlank()) {
-                return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, path, null);
+            int slashIndex = path.indexOf("/", 1);
+            if (slashIndex >= 0) {
+                if (!subdomain.isBlank()) {
+                    return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, path, null);
+                }
+                else {
+                    String article = path.substring(slashIndex);
+                    return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, article, null);
+                }
             }
-            else {
-                String article = path.substring(path.indexOf("/", 1));
-                return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, article, null);
-            }
-
-        }
+        }*/
         return url;
     }