public static (int pixelsX, int pixelsY) RenderToFile( this GraphDocument doc, string filename, GraphExportOptions options )