I'm thinking we should rename D-programming-language on github with dlang. While we're at it, project d-programming-language.org should be renamed dlang.org. This may cause disruption. Thoughts? Andrei