Remote agents: a pane that talks to an agent on your own machine (#16)

b8df5df

unverified