Should smgrdounlink() be removed?

[Peter Geoghegan]

I see that commit 33a94bae605edf3ceda6751916f0b1af3e88630a removed
smgrdounlinkfork() because it was dead code. Should we also remove
smgrdounlink() now? It also appears to be dead code.

-- 
Peter Geoghegan