Johannes Schindelin [off-list ref] writes:
quoted
I did not and I do not think it would. I was wondering if the
ability to be able to specify these per destination is something
very useful and deserves to be called out in the doc, together with
...
I do not think that it needs to be called out specifically in the docs. It
is just yet another http.* setting that can be overridden per-URL. It
would be different if it had not worked.
OK, thanks for sanity checking.