I almost hate to post this question, because it seems like it should be obvious, but …
I’ve seen the exhaustive list of XML properties defined, but where do you set them? In a file? This isn’t documented anywhere, at least that I can find.
Never mind. I found the properties page in the server console.