public override string DefaultFilename {
get {
string filename = FilenameFromUrl(Url);
- return Path.ChangeExtension(filename, ".disco"); // [[....]] change default extension
+ return Path.ChangeExtension(filename, ".disco"); // [Microsoft] change default extension
}
}