数字順に並べ替えさせるようにした

app.py

@@ -14,7 +14,7 @@ name2fileid = json.loads(Path("name2fileid.json").read_text())
 
 def fileids2html(fileids, query):
     html = BeautifulSoup("<div></div>", "html.parser")
-    for fileid in sorted(list(fileids), reverse=True):
+    for fileid in sorted(list(fileids), reverse=True, key=lambda x:int(x)):
         src = "https://huggingface.co/front/assets/huggingface_logo-noborder.svg"
         if fileid in fileid2image:
             src = fileid2image[fileid.strip()]