This might have caught the recent embarrassment over trying to modify
pg_index while its indexes were being rebuilt.

Noah Misch