DEV: Remove unnecessary code. (PR #14256)

GitHub

Hmm seems like we can’t remove this quite yet. Closing first.