Clarify comments in postgres_extension.py