elias pushed to main at elias/Notes

elias
Fri, 17 Oct 2025 14:14:31 +0200

f6686a7ef374137b228f2c45da0d682775ad3360 Update 2025-10-17.md