Getting Minecraft Ultimate Survival World working for an iPad

Note: ideally this should be posted somewhere where interested users would find it (maybe reddit?).  I don't know the minecraft world, and I didn't want to stick it in TrixyBlox Discord because it's more of a wall-garden and search is not near as reliable there.

Situation

My son really likes TrixyBlox, a Minecraft YouTuber, and he signed up to support him on Patreon, in part so could play some of TrixyBlox's builds, especially the "Ultimate Survival World".

Despite my offers to set him up on a regular computer, he most enjoys playing on his iPad.  This in turn means we need to do Bedrock Minecraft.

We only have Macs at home, but Bedrock Minecraft isn't supported on Macs.

Solution

These are the steps I took.  I'm writing them down in case it's useful for others including my 6-month future self:

1. Confirming connectivity between server and iPad
1. Got Bootcamp up and going again on the lone Intel Mac we have.  I hadn't booted into Windows for a couple of years, and as a result, there were a lot of security updates to apply.
1. Presumably virtualization (e.g. Parallels, VirtualBox) would work too.
2. Downloaded the Bedrock Minecraft server from https://www.minecraft.net/en-us/download/server/bedrock
3. Unzipped it and moved it out of the Downloads folder so it didn't accidentally get deleted.
4. Started the Bedrock server and ensured I could connect to it from the ipad
2. Importing Ultimate Survival World into Bedrock server
1. Downloaded USW-Bedrock-WORLD.mcworld from Patreon (since we're paid subscribers)
2. Double-clicked the .mcworld file which imported it in Bedrock Minecraft (full client game) that I have installed
3. Found where Bedrock Minecraft imported the world files.  https://www.filelocations.com/minecraft-bedrock-save-location-windows-mac/ pointed me in the right direction.  The name of the world was some id/hash.
4. Copied the world folders into bedrock-server/worlds directory.
5. Renamed the world's folder from it's id/hash value to something I could remember (e.g., Ultimate Survival World).  
6. Modified the Bedrock Server server.properties file to use the name of the world I copied over (e.g., "Ultimate Survival World")
7. Started the Bedrock server and ensured I could connect to it from the iPad.  It was a good sign when it asked about downloading a ~60MB resource pack.
3. Connecting to the Bedrock server from a Bedrock Minecraft client on the same machine
1. The docs discuss running a command "CheckNetIsolation.exe LoopbackExempt –a –p=S-1-15-2-1958404141-86561845-1752920682-3514627264-368642714-62675701-733520436".  You have to make sure you run that command as an admin.  The key is to open the "run command" prompt as an admin.
2. Opened Bedrock Minecraft client
3. Added a server for 127.0.0.1 with the default port
4. Connect