It's fine, I guess, as long as docs are plain HTML/CSS and use 0 JS. And I think we are all safe on that front, since those pages are Perl generated or somethin

It's fine, I guess, as long as docs are plain HTML/CSS and use 0 JS. And I think we are all safe on that front, since those pages are Perl generated or something, so… Neat update, old site had its charm, but w/ever. Love to everyone in PG community (even those responsible for PgAdmin4 :)