Hygiene: Kill dead code

Not used anywhere.

Change-Id: Iabdc1f2304277d7262a1e0555f6ed5319a0c3172