Step 2: Use a custom server
Launch the app, and enable Use custom server options (advanced).
In the homeserver field, enter:
Note: You shouldn't need to modify the identity server field, which by default is set to https://vector.im.
In the identity server field, enter: