elias pushed to main at elias/Notes

elias
Fri, 17 Oct 2025 14:16:36 +0200

e801e89bf2f4eca36f8e40f0600a4166719af72a Update 2025-10-16.md