Opened a PR to remove dead code. Reviewer asked "are we sure this is dead?" We are. He added it in 2020. He has no memory of it. He will not approve removing it.