On Tue, Feb 11, 2020 at 10:37 AM Tom Lane <t...@sss.pgh.pa.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
