Tighten up wording in the section on let-generalisation and MonoLocalBinds
Remove the bit about External Core from flags.xml

This is a lefover vestige from Austin's removal of External Core