One of our engineers is considering adopting the use of code contracts in .NET 4.0. As I understand it, that will add new tags to the .XML file with info about the requirements of the member (parameter values, etc.). Does/will Document!X support this feature (i.e. process the new tags)? Edited to add...