Replace slashes with × in ship names like any good old-school weeb

feed.py

@@ -97,7 +97,7 @@ def feedgen(local=False):
                     except:
                         filewrite.write("/".join(origread.fandom))
                     try:
-                        filewrite.write(", " + origread.ship[0])
+                        filewrite.write(", " + origread.ship[0].replace("/"," × "))
                     except:
                         try:
                             filewrite.write(", " + ", ".join(origread.charpov))
@@ -131,7 +131,7 @@ def feedgen(local=False):
                     except:
                         filewrite.write("/".join(thefile.fandom))
                     try:
-                        filewrite.write(", " + thefile.ship[0])
+                        filewrite.write(", " + thefile.ship[0].replace("/"," × "))
                     except:
                         try:
                             filewrite.write(", " + ", ".join(thefile.charpov))

ships.py

@@ -91,7 +91,7 @@ def shiplist(local=False):
         # write details element
         output = "build/ff/ships/index.html"
         filewrite = open(output, "a")
-        filewrite.write("<details><summary><span class=\"character " + cssgame + "\">" + ship + "</span> ")
+        filewrite.write("<details><summary><span class=\"character " + cssgame + "\">" + ship.replace("/"," × ") + "</span> ")
         # write statistics
         if len(maincount) > 0:
             filewrite.write("<span class=\"main\"> main: " + str(len(maincount)) + "</span>")

statsgen.py

@@ -39,7 +39,7 @@ def ficsum(ficcount,year,month=0,showfandom=True,local=False):
             if "OW" not in origfile.fandom:
                 if "gen" not in origfile.genre:
                     try:
-                        thechars = origfile.ship[0]
+                        thechars = origfile.ship[0].replace("/"," × ")
                     except:
                         chars = []
                         try:
@@ -74,7 +74,7 @@ def ficsum(ficcount,year,month=0,showfandom=True,local=False):
             if "OW" not in fileread.fandom:
                 if "gen" not in fileread.genre:
                     try:
-                        thechars = fileread.ship[0]
+                        thechars = fileread.ship[0].replace("/"," × ")
                     except:
                         chars = []
                         try: