Here is a documentation patch for the pg_settings virtual table. If there are no objections, please apply.
Thanks,
Joe