[PATCH] main: Make --noplugin option repeatable