Setting up AWS WorkMail as an iOS Mail Exchange account

iOS Mail supports Exchange accounts very well, but if you're using an Exchange-compatible service, such as Amazon WorkMail, the configuration steps can be confusing. Here's the cheat sheet: