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.