feat: hide Run button, update LibreTECH branding, improve welcome lessons

- Hide Run button (live preview is stable)
- Update all references from librete.ch to LibreTECH
- Add context to repo links (Gitea Source, GitHub Mirror)
- Fix welcome lesson redundant text
- Slow down CRISPY animation to 8s
- Remove editor-tools margin-right

src/i18n.js

@@ -83,7 +83,7 @@ const translations = {
 
 		// Contact
 		contactTitle: "Contact & Links",
-		contactText: "Code Crispies is developed by librete.ch",
+		contactText: "Code Crispies is developed by <a href=\"https://librete.ch\" target=\"_blank\">LibreTECH</a>",
 
 		// Reset dialog
 		resetDialogTitle: "Reset Progress",
@@ -182,7 +182,7 @@ const translations = {
 
 		// Contact
 		contactTitle: "Kontakt & Links",
-		contactText: "Code Crispies wird von librete.ch entwickelt",
+		contactText: "Code Crispies wird von <a href=\"https://librete.ch\" target=\"_blank\">LibreTECH</a> entwickelt",
 
 		// Reset dialog
 		resetDialogTitle: "Fortschritt zurücksetzen",