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/main.css

@@ -595,7 +595,7 @@ code, kbd {
 	border-radius: var(--border-radius-lg);
 	font-weight: bold;
 	font-size: 1.1rem;
-	animation: dvd-bounce 4s ease-in-out infinite;
+	animation: dvd-bounce 8s ease-in-out infinite;
 	z-index: 10;
 	white-space: nowrap;
 }
@@ -914,7 +914,6 @@ button.lesson-list-item {
 .editor-tools {
 	display: flex;
 	gap: 4px;
-	margin-right: var(--spacing-sm);
 }
 
 .btn-ghost {
@@ -954,6 +953,11 @@ button.lesson-list-item {
 	border-color: var(--primary-dark);
 }
 
+/* Hide Run button - live preview is stable */
+#run-btn {
+	display: none;
+}
+
 /* ================= TOGGLE SWITCH ================= */
 .toggle-switch {
 	display: flex;
@@ -1105,6 +1109,45 @@ input:checked + .toggle-slider::before {
 	margin-top: var(--spacing-lg);
 }
 
+/* Project Cards in Help Dialog */
+.project-cards {
+	display: flex;
+	flex-direction: column;
+	gap: var(--spacing-sm);
+	margin-bottom: var(--spacing-md);
+}
+
+.project-card {
+	display: block;
+	padding: var(--spacing-md);
+	background: var(--primary-bg-light);
+	border-radius: var(--border-radius-md);
+	border: 1px solid var(--primary-bg-medium);
+	text-decoration: none;
+	color: var(--text-color);
+	transition: all 0.2s ease;
+}
+
+.project-card:hover {
+	background: var(--primary-bg-medium);
+	border-color: var(--primary-color);
+	transform: translateY(-2px);
+	box-shadow: 0 4px 12px rgba(94, 75, 139, 0.15);
+}
+
+.project-card strong {
+	display: block;
+	color: var(--primary-color);
+	font-size: 1rem;
+	margin-bottom: 4px;
+}
+
+.project-card span {
+	font-size: 0.9rem;
+	color: var(--light-text);
+	line-height: 1.4;
+}
+
 /* ================= FOOTER ================= */
 .app-footer {
 	padding: var(--spacing-md);