Extensions with the approximation and cover properties have no new large cardinals

Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.