Comment by Aurornis

> (actually I just checked again, and the PR has been closed by stalebot).

Can you provide the link?