Nobody complaining about Dev Kit would be unaware of the base C# extension.