I've been using controlbox for a while but noticed a problem with the filter set at the top. It doesn't seem to apply to the dropdown box for Device Names. Filter is set for Router and Switches but I also see Server types being listed there. I tried several things dynamic options etc but all the same result. I excluded the filter options but the same dropdown list shows all results. Bug?