Defunct several deprecated/legacy config options