The migration guide (src/Migrate-From-Self-Hosted-to-EMS.md) should mention how to best log out all your users before the migration. Probably in the Preparation section.
This would be an addition to this bit
## Note on users and Element
Element does have support for changing the delegated homeserver URL. All your users will have to sign out and sign in again to Element. You should ensure everyone has Key Backup configured and working.
The migration guide (src/Migrate-From-Self-Hosted-to-EMS.md) should mention how to best log out all your users before the migration. Probably in the Preparation section.
This would be an addition to this bit ## Note on users and Element Element does have support for changing the delegated homeserver URL. All your users will have to sign out and sign in again to Element. You should ensure everyone has Key Backup configured and working.