Developers use dark IDE themes because bugs are attracted to the light.