Rindexing causes `User “xxx” does not own all provided extensions` Errors

[theory]

When reindexing a version of distribution, and one or more of the extensions in that distribution has changed owners, reindexing earlier versions released by old owners will fail with this error:

User “xxx” does not own all provided extensions

This is due to record_ownership() finding the old owner is not an owner anymore. This is sensible.

However, it would be useful for the maintenance app to be able to override that constraint, and let a distribution be reindexed under the auspices of the old owner.

Example:

pgxn_maint -E prod --verbose reindex-all h3
User “bytesandbrains” does not own all provided extensions
User “bytesandbrains” does not own all provided extensions
User “bytesandbrains” does not own all provided extensions
...

Perhaps add a parameter to the update_distribution() PL/pgSQL function to skip the owner check.