elias pushed to main at elias/Notes

elias
Fri, 17 Oct 2025 14:11:05 +0200

df9c547e2513e54902a00013f137ebaf7725c206 Update 2025-10-17.md