On Tue, Feb 11, 2020 at 10:37 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> I also wonder why duplicating the website's style isn't the default.
> Doesn't seem like having authors optimize for some other style is
> what we really want.
FWIW, I've often wondered about it myself.
--
Peter Geoghegan