Some minor improvements to our un/selecting of a category of plugins (#192).