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

Created by  Alexis Praga  on February 27, 2024
FGALXS7EDZYOUCQNYDB5VVCSYTRWTGEYNM4XHRZYEJBS2V5R4DGAC
Change contents