elias pushed to main at elias/Notes

elias
Fri, 17 Oct 2025 14:51:59 +0200

99d651535094b90ae79f25281d1bf979cbc2b6df Update 2025-10-17.md