feat: public profiles, a handle on the account domain with name, bio, links and picture

Stage 1 of the public tier (ADR 0005). A person with an identity has a
public profile: a handle by Mastodon's rules (1 to 30 letters, digits or
underscores, unique whatever its case, a few kept for the instance),
changeable until they first publish, on the instance's account domain
(ACCOUNT_DOMAIN, else the server's host; the instance info names it), so
`raisondetredev@halkyon.eu`; a display name, a bio, up to four links and
an avatar. The table is server only: the app gets a Profile without the
person's id. ProfileEndpoint (identified only) reads, saves and removes
the caller's own; ProfilesEndpoint finds anyone's by handle.

An avatar is a PNG of at most 1 MB that the app draws anew from the
picture chosen, its middle square at 400 pixels, so a photo's metadata
never leaves the device. The server keeps it in the public storage named
by its content, so its URL tells nothing about whose it is, and deletes it
once no profile shows it. Deleting a person deletes their profile and its
picture.

In the app, the Profile tab holds the profile as a form, laid out as the
old app's; anonymous people are told GitHub sign-in gives them one.

Migration 20261009184924904-public-profiles creates public_profile with a
unique index on the person and one on the handle in lower case; it touches
no other table, and the old server never sees it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MMm7usAo6q9ZZRoPkWjoxi
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>

halkyon_learn_flutter/lib/l10n/app_de.arb

@@ -391,6 +391,44 @@
   "profileSwitchMessage": "Dieses GitHub-Konto hat bereits Fortschritt von einem anderen Gerät. Die Lernsets auf diesem Gerät lassen sich noch nicht damit zusammenführen: Wenn du wechselst, werden sie gelöscht.",
   "profileSwitchStay": "Anonym bleiben",
   "profileSwitchConfirm": "Wechseln",
+  "publicProfileTitle": "Öffentliches Profil",
+  "publicProfileIntro": "Wie andere dich sehen, sobald du veröffentlichst: das Handle, unter dem sie dich finden, dein Name, ein paar Worte und Links. Nichts davon ist sichtbar, bevor du es speicherst.",
+  "publicProfileAnonymousHint": "Melde dich mit GitHub an, um ein öffentliches Profil zu haben und zu veröffentlichen.",
+  "publicProfileDisplayName": "Anzeigename",
+  "publicProfileDisplayNameHint": "Der Name neben deinem Handle",
+  "publicProfileHandle": "Handle",
+  "publicProfileHandleHint": "Buchstaben, Ziffern und Unterstriche, bis zu 30",
+  "publicProfileAddress": "Andere finden dich als @{address}",
+  "@publicProfileAddress": {"placeholders": {"address": {"type": "String"}}},
+  "publicProfileHandleFixed": "Fest, seit du veröffentlicht hast: Andere verweisen darauf.",
+  "publicProfileBio": "Über dich",
+  "publicProfileLinks": "Links",
+  "publicProfileLinksHint": "Deine Website oder andere Konten, bis zu 4.",
+  "publicProfileLinkHint": "https://…",
+  "publicProfileAddLink": "Link hinzufügen",
+  "publicProfileRemoveLink": "Link entfernen",
+  "publicProfileSaved": "Profil gespeichert.",
+  "publicProfileRemove": "Profil entfernen",
+  "publicProfileRemoveTitle": "Dein öffentliches Profil entfernen?",
+  "publicProfileRemoveMessage": "Dein Handle wird für andere frei.",
+  "publicProfileRemoved": "Profil entfernt.",
+  "publicProfileFailed": "Die Instanz ist nicht erreichbar. Versuche es erneut.",
+  "publicProfileUnreachable": "Dein öffentliches Profil ist gerade nicht erreichbar.",
+  "publicProfileRetry": "Erneut versuchen",
+  "profileProblemHandleInvalid": "Ein Handle besteht aus 1 bis 30 Buchstaben (a bis z), Ziffern oder Unterstrichen.",
+  "profileProblemHandleReserved": "Dieses Handle ist der Instanz vorbehalten.",
+  "profileProblemHandleTaken": "Dieses Handle hat schon jemand anderes.",
+  "profileProblemPublished": "Du hast veröffentlicht: Dein Handle kann sich nicht mehr ändern und dein Profil nicht mehr gehen.",
+  "profileProblemDisplayNameTooLong": "Höchstens 30 Zeichen.",
+  "profileProblemBioTooLong": "Höchstens 500 Zeichen.",
+  "profileProblemTooManyLinks": "Höchstens 4 Links.",
+  "profileProblemLinkInvalid": "Links beginnen mit https:// oder http://.",
+  "profileProblemAvatarInvalid": "Dieses Bild lässt sich nicht verwenden: Wähle ein PNG-, JPEG-, WebP- oder GIF-Bild.",
+  "publicProfilePicture": "Bild",
+  "publicProfileChoosePicture": "Bild wählen",
+  "publicProfileRemovePicture": "Bild entfernen",
+  "publicProfilePictureType": "Bilder",
+  "publicProfilePictureLater": "Speichere dein Profil, um ein Bild hinzuzufügen.",
 
   "settingsTitle": "Einstellungen",
   "settingsAccount": "Konto",