Portal v0.6.25: ikonene tilbake

Ikon-API-et svarer ikke lenger på prefix:navn.svg; v0.6.25 spør med
skråstrek, så kortenes ikoner kommer tilbake (og innrykket til venstre
for dem får igjen noe å stå ved).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

.gitea/workflows/lint-and-reload.yml

@@ -17,7 +17,7 @@ jobs:
       # what the running instance accepts.
       - name: lint
         env:
-          PORTAL_RELEASE: v0.6.24
+          PORTAL_RELEASE: v0.6.25
         run: |
           curl -sfL "https://project.uhhm.no/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o portal && chmod +x portal
           ./portal lint --path checkout/questions