Re: [PATCH] main: Make --noplugin option repeatable