Andres Freund <andres@anarazel.de> writes:
> Shouldn't we just remove that code?
What for? It's maintenance-free ... hasn't been touched since 2004.
While I agree with you that it's *probably* dead code, it's hard to
see much upside from removing it.
If we want to get into arguing whether code is dead or not, there's
an awful lot of potentially removable stuff in the tree, but I doubt
it's worth the trouble to figure out what's really dead.
regards, tom lane
