[Users] Notes on setting spice-proxy console option