On Thu, Jul 26, 2018 at 7:33 PM, Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> The maintenance load is not high as well, so I see no real point in
> removing it, and that it would likely make people using it unhappy.
Why, specifically, would it make them unhappy?
--
Peter Geoghegan