Remove "imps" and "noimps" options entirely.

I was confused:  these never existed in v4 to begin with!  No need to
support them at all!