holomaze: remove some commented-out code that's not worth keeping any longer.