jonas’: hmm, I merged https://github.com/xsf/xeps/pull/744, but now I wonder if you should have instead.
no worries
I can generate the notifications for it
Thanks, sir!