(untitled)

Looks like GitHub silently corrupted some index. PR #237 definitely exists and is closed ( https:// github.com/C2SP/C2SP/pull/237 ) but is just... not in the list ( https:// github.com/C2SP/C2SP/pulls?q=i s%3Apr+is%3Aclosed ) regardless of filters. I briefly doubted my own sanity. This is bad.