Looks like @agoric hasn't received any replies yet!