private static ArrayList GetExtensionMethods (XmlDocument doc)
{
XmlNodeList extensions = doc.SelectNodes ("/Overview/ExtensionMethods/*");
if (extensions.Count == 0)
return null;
ArrayList r = new ArrayList (extensions.Count);
foreach (XmlNode n in extensions)
r.Add (n);
return r;
}