They seem to have deleted the PR now too. Here's the PR author on BlueSky: https://bsky.app/profile/ens0.me/post/3lpch5vsqit2v