This commit removes the "Hide" and "Case" (case insensitive comparison)
toggles from the toolbar. This is mostly because they're not a common
use case, and so don't belong there, but also because they're not
sufficiently easy to explain, and have no commonly recognisable icon.