Custom gateway from workspaces #135
Description
Providing a custom gateway flag to a workspace does not work atm, because it doesn't know what index to use.
To solve this, if a workspace is open with custom dist, let's show a page instead to select which index to access