Graying out unused declarations

We don't need this, do we?