Check_MK Werk 3847: Painter options can now be reset to defaults