jackc/pgx ? reverse-engineered prompt