Someone on IRC said that they would prefer to write ‘-i foo bar baz’
instead of ‘-i foo -i bar -i baz’.  Should we change this or allow both
variants?  And how hard would it be?