Right now we store problem names both in the yaml and the database, which may lead to inconsistent state.