redalert theme is one of Lacedaemons themes, just like darksky. And theme installation shouldn't affect other themes. Plus there is still the double icon issue, even if those red icons would be fixed. If there is no other fix... i'll have to flash my phone.