sort tags, fix md

cards/codeCheck.md

@@ -70,6 +70,7 @@ should **not** be deposited in the "personal" namespace, such as at
 as this restricts the availability of your code for others.
 
 To make sure the project is in the right group,
+
 - when creating a [new
   project](https://gitlab.lcsb.uni.lu/projects/new#blank_project), find the
   matching group in a dropdown below **Project URL**, in the field marked with
@@ -81,6 +82,7 @@ To make sure the project is in the right group,
   target group in the box labeled with **Select a new namespace**.
 
 For all projects, make sure that the project visibility matches the expectations:
+
 - **Closed-source projects** should display a small padlock 🔒 next to the
   project title on the main project page, meaning the access is restricted
 - **Open-source project** should display a small globe icon 🌐, meaning the

site.hs

@@ -351,14 +351,13 @@ mkSearchData mount pi = do
   link <- rootUrl mount
   text <- io . runIOorExplode $ writePlain plainWriteOpts (pi ^. pageDoc)
   let title = pi ^? pageMeta . key "title" . _String
-  let tags =
-        pi ^.. pageMeta . key "tags" . values . _String .
-        to (Y.array . map fromString . splitDirectories . T.unpack)
+  -- TODO: unify retrieval of tags
+  let tags = sort $ pi ^.. pageMeta . key "tags" . values . _String . to T.unpack
   pure $
     Y.object
       [ ("link", fromString link)
       , ("title", maybe (fromString mount) Y.String title)
-      , ("tags", Y.array tags)
+      , ("tags", Y.array $ map (Y.array . map fromString . splitDirectories) tags)
       , ("text", Y.String text)
       ]