Where can I get some info about html_theme parameter change? I used to change it from classic to default in the RPMs, and now it is pgadmin4 by default. The PDF doc does not include any info about this.
Because - pgAdmin4 has its own documentation theme. :-)
-- Ashesh
Cheers, -- Devrim Gündüz Open Source Solution Architect, Red Hat Certified Engineer Twitter: @DevrimGunduz , @DevrimGunduzTR