Just took a closer look at the `setValue()` methods, they are smart enough to empty the selections before selecting the new items, so I just removed `checked` from `options`, and cleaned up shiny.js as well.