for whatever reason i seem to remember names of files in postgresql documentation. for example - i know, that psql docs are in app-psql.html, base page for configuration options is runtime-config.html. manual for "alter table" sql command, is in sql-altertable.html. yet full ...