On Thursday, 24 July 2025 at 18:31:58 UTC, Quirin Schroll wrote: > I can comment on that issue, but how would anyone know I did? Luckily, GitHub has notifications! (Obviously that still requires people to have them enabled and actually check them out.)