Daniel Vogelheim

I've been looking at this lately, and wonder if there's been any progress with the naming? Is `document-policy:` okay? ------------------------- More proposals: - If an individual setting is called a...

Thanks! We're happy with this, too.