Did GitHub remove instructions on how to checkout PRs locally?

It was a while ago I used Pull Requests in GitHub and now when I'm trying to find the handy copy-pastable instructions for how to checkout a PR locally on my machine, I cannot find them anymore.

They used to be in the bottom of the PR I think, but now they are nowhere to be found. I can only find usage instructions for "gh" cli, "Checkout with GitHub Desktop" and something called "Codespaces".

I'm 100% sure there used to be a ~three-liner that you could basically copy-paste to checkout the PR without any external tools besides git itself. But now it seems to either have been removed, or it's location have changed so it's really hard to find.