We ran a full-stack search and found... nothing.
Maybe it's a typo? Or the page got deleted in a recent push.