It would be great to also have a radio-button filter readily available for when options are mutually exclusive and one wants to show the options (similar to checkboxes).
Another option could be to tweak filter_checkbox to also accept the multiple = FALSE parameter, such that checking a checkbox automatically unchecks the other options. But I guess actually implementing a wrapper for tags$input(type = "radio") might be easier.