I'm not sure. First I started without that, but it was a bit too much duplication to feel good. On the other hand it will be easier for user to see full config in the documentation, since we include it there. I'm on the fence.