Created attachment 3571 [details] 0001-Document-more-options-which-are-multiply-allowed.patch Attached patch applies on current git master (e.g. using git am). Thanks, Chris.