(search) Fix rare exception in scribe.rip substitution

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

@@ -200,14 +200,16 @@ public class SearchOperator {
             }
         }
         else if (topdomain.equals("medium.com")) {
-            if (!subdomain.isBlank()) {
+            int slashIndex = path.indexOf("/", 1);
-                return new EdgeUrl("https", new EdgeDomain("scribe.rip"), null, path, null);
+            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

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