Get rid of no-longer-needed commented stuff.