Add documentation check in postgres_core_check