Hi Jakub,
I'd like to ping this patch, ok for trunk?
OK. Thanks for the patch!
Before 9.0 is released, we should also document the flag
(and the extension it supports) in the manual, and note it
in changes.html and on the Wiki. Would you also do that?
Regards
Thomas
