elias pushed to main at elias/Notes

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

479eaeed30b3582639e31d474779b03d17c5e500 Add 2025-10-17.md