Send the following on WhatsApp
Continue to ChatExtensions with the approximation and cover properties have no new large cardinals https://jdh.hamkins.org/approximation-and-cover-properties/
Extensions with the approximation and cover properties have no new large cardinals https://jdh.hamkins.org/approximation-and-cover-properties/