greg pushed to main at greg/.profile

greg
Wed, 01 Oct 2025 21:57:39 +0200

cdbc8d7b151aff2e0a0315424e7b707976a95853 Actualiser README.md