Merge branch 'master' of git.sr.ht:~scut/notes

Created by  Alexis Praga  on April 7, 2024
HHCNP77PCFAYBGYTK2IAECQ5K6CNYGEHV4EYJ5PHGQUSC7BISFVQC
Change contents