Ah well, I didn't expect it to be that easy.
I'm going to try another project before taking a look at the world size - it's too difficult for me right now, and I need more experience before I can tackle that. (Try asking Snowbound, who is a much better modder than I am.) I'll get back to world size as soon as possible.
I am wondering if one could hard code an IP into Minecraft PE. You'll need to port forward UDP port 19132, generate a PTPatch using your IP address, and give that to the players. The players would patch their Minecraft with it, then go into the server selection screen, press the back button and - lo and behold - they would connect to your port-forwarded server. Is there anybody with a port-forwarded Minecraft PE server that I can test with?
5
1
13
6
1
1
4
3
1
1