Return to the intended proxy config syntax
We originally
wanted the configuration of proxy rules
to be a 2-tuple, as in [ "22", "127.0.0.1:22" ]
. But config
couldn't handle that before, so we temporarily changed it to
a string, as in "22 => 127.0.0.1:22".
This branch is ready for review; it's only marked "Draft" because it has some squash/fixup commits to make the review easier.
Closes #1058 (closed).