Also, I think the standard is that if someone's work makes it in, they stay in the credits even if their work doesn't make it into the final game. It's all part of the process of making and advancing the game. As for myconid, I think he'll be added shortly (once his work is actually added), but Erik probably phrased it best.