Juergen Spitzmueller wrote: > Is it worth it to add the argument for documentation purposes?
The argument is already there. Do you mean to name it? IMHO it is worth it. > Attached is a patch with some mor FIXME's and the proposed documentation > (without having added the argument). > > Would this be acceptable for 1.4? IMO yes. Georg