Added optional generation of Ralf's redundant settings.