Re: [Users] Notes on setting spice-proxy console option