(see #6)

It makes sense to have a way to temporarily hide Clippy (e.g. for debugging), although this won't persist through /reload.