On 06.10.23 20:50, Andres Freund wrote:
> The only thing I wonder is whether we ought to keep a maintainer-clean
> target (as an alias to distclean), so that extensions that added things
> to maintainer-clean continue to work.
The patch does do that.