Remove more references to MSG in documentation.

[simgrid.git] / docs / source / img / graphical-toc.svg

diff --git a/docs/source/img/graphical-toc.svg b/docs/source/img/graphical-toc.svg
index 97d219e..aeaf490 100644 (file)
--- a/docs/source/img/graphical-toc.svg
+++ b/docs/source/img/graphical-toc.svg
@@ -2,21 +2,21 @@
 <!-- Created with Inkscape (http://www.inkscape.org/) -->
 
 <svg
-   xmlns:dc="http://purl.org/dc/elements/1.1/"
-   xmlns:cc="http://creativecommons.org/ns#"
-   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-   xmlns:svg="http://www.w3.org/2000/svg"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:xlink="http://www.w3.org/1999/xlink"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="210.6227mm"
    height="82.696243mm"
    viewBox="0 0 210.6227 82.696243"
    version="1.1"
    id="SVGRoot"
-   inkscape:version="0.92.4 (5da689c313, 2019-01-14)"
-   sodipodi:docname="graphical-toc.svg">
+   inkscape:version="1.2.1 (9c6d41e410, 2022-07-14)"
+   sodipodi:docname="graphical-toc.svg"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:dc="http://purl.org/dc/elements/1.1/">
   <sodipodi:namedview
      id="base"
      pagecolor="#ffffff"
@@ -25,15 +25,15 @@
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
      inkscape:zoom="1.979899"
-     inkscape:cx="460.43419"
-     inkscape:cy="220.43832"
+     inkscape:cx="354.311"
+     inkscape:cy="220.21325"
      inkscape:document-units="mm"
-     inkscape:current-layer="layer1"
+     inkscape:current-layer="a1463"
      showgrid="true"
      inkscape:window-width="1920"
-     inkscape:window-height="1024"
+     inkscape:window-height="1023"
      inkscape:window-x="0"
-     inkscape:window-y="32"
+     inkscape:window-y="33"
      inkscape:window-maximized="1"
      fit-margin-top="0"
      fit-margin-left="0"
@@ -41,7 +41,10 @@
      fit-margin-bottom="0"
      objecttolerance="24"
      gridtolerance="10"
-     guidetolerance="10">
+     guidetolerance="10"
+     inkscape:showpageshadow="0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1">
     <inkscape:grid
        type="xygrid"
        id="grid924"
@@ -2311,7 +2314,7 @@
      transform="translate(-2.308124,-62.995623)"
      style="display:inline">
     <a
-       xlink:href="platform.html"
+       xlink:href="Platform.html"
        style="fill:#ffffff;fill-opacity:1"
        id="a2388"
        inkscape:label="PlatformLink">
@@ -2328,10 +2331,10 @@
          id="text1024"
          y="71.425667"
          x="89.251396"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="PlatformText"><tspan
-           style="font-size:7.76111126px;text-align:center;text-anchor:middle;stroke-width:0.26458332px"
+           style="font-size:7.76111px;text-align:center;text-anchor:middle;stroke-width:0.264583px"
            y="71.425667"
            x="89.251396"
            sodipodi:role="line"
@@ -2341,16 +2344,16 @@
          id="text1028-1-4-3-0"
          y="77.800346"
          x="89.268448"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"><tspan
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166698px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.26458332px"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29167px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.264583px"
            y="77.800346"
            x="89.268448"
            id="tspan1026-2-99-6-3"
            sodipodi:role="line">available resources</tspan></text>
     </a>
     <a
-       xlink:href="Experimental_Setup.html"
+       xlink:href="Experimental_setup.html"
        inkscape:label="XPSetupLink"
        id="a6081">
       <rect
@@ -2364,7 +2367,7 @@
          style="display:inline;opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.67500001;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:7.14375019px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:7.14375px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="88.616463"
          y="115.23576"
          id="text818"
@@ -2373,15 +2376,14 @@
            id="tspan816"
            x="88.616463"
            y="115.23576"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:7.14375019px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.26458332px">Experimental</tspan><tspan
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:7.14375px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.264583px">Experimental</tspan><tspan
            sodipodi:role="line"
            x="88.616463"
            y="122.37952"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:7.14375019px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.26458332px"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:7.14375px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.264583px"
            id="tspan820">Setup</tspan></text>
     </a>
     <a
-       xlink:href="platform.html#performance-profiles-and-churn"
        transform="translate(21.166664,43.282215)"
        inkscape:label="ProfileLink"
        style="fill:#ffffff;fill-opacity:1"
@@ -2397,7 +2399,7 @@
          style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35299999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="68.990105"
          y="97.56163"
          id="ProfileText"
@@ -2405,12 +2407,12 @@
            sodipodi:role="line"
            x="68.990105"
            y="97.56163"
-           style="font-size:5.64444447px;stroke-width:0.26458332px"
+           style="font-size:5.64444px;stroke-width:0.264583px"
            id="tspan6087">Profiles</tspan></text>
     </a>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="130.77637"
        y="104.49904"
        id="text824"
@@ -2419,11 +2421,10 @@
          id="tspan822"
          x="130.77637"
          y="104.49904"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Simulation</tspan><tspan
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Simulation</tspan><tspan
          sodipodi:role="line"
          x="130.77637"
          y="111.11362"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
          id="tspan826" /></text>
     <path
        style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.67486387;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
@@ -2434,7 +2435,7 @@
        inkscape:label="SimulationBox" />
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="122.5321"
        y="121.24089"
        id="text830"
@@ -2443,15 +2444,14 @@
          id="tspan828"
          x="122.5321"
          y="121.24089"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.05555534px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Model Checking</tspan><tspan
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.05556px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Model Checking</tspan><tspan
          sodipodi:role="line"
          x="122.5321"
          y="128.03876"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.05555534px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
          id="tspan832" /></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.3499999px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.35px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="122.6216"
        y="129.209"
        id="text904"
@@ -2460,10 +2460,10 @@
          id="tspan902"
          x="122.6216"
          y="129.209"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Property</tspan></text>
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Property</tspan></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46805573px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46806px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="151.19989"
        y="129.10596"
        id="text904-3"
@@ -2472,7 +2472,7 @@
          id="tspan902-5"
          x="151.19989"
          y="129.10596"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46805573px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Reduction</tspan></text>
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46806px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Reduction</tspan></text>
     <a
        xlink:href="application.html"
        id="a6242"
@@ -2491,10 +2491,10 @@
          id="text1018"
          y="78.263397"
          x="30.003435"
-         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#d40000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#d40000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="ApplicationText2"><tspan
-           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:center;text-anchor:middle;fill:#d40000;stroke-width:0.26458332px"
+           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:center;text-anchor:middle;fill:#d40000;stroke-width:0.264583px"
            y="78.263397"
            x="30.003435"
            id="tspan1016"
@@ -2503,10 +2503,10 @@
          id="text814"
          y="71.425667"
          x="8.285965"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="ApplicationText1"><tspan
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111126px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px"
            y="71.425667"
            x="8.285965"
            id="tspan812"
@@ -2514,7 +2514,7 @@
     </a>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="122.23965"
        y="134.0621"
        id="text1028-1"
@@ -2523,10 +2523,10 @@
          id="tspan1026-2"
          x="122.23965"
          y="134.0621"
-         style="font-size:4.23333311px;stroke-width:0.26458332px">▸ Safety</tspan></text>
+         style="font-size:4.23333px;stroke-width:0.264583px">▸ Safety</tspan></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="122.23965"
        y="138.48441"
        id="text1032-0"
@@ -2535,10 +2535,10 @@
          id="tspan1030-6"
          x="122.23965"
          y="138.48441"
-         style="font-size:4.23333311px;stroke-width:0.26458332px">▸ Liveness</tspan></text>
+         style="font-size:4.23333px;stroke-width:0.264583px">▸ Liveness</tspan></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="122.23965"
        y="142.90675"
        id="text1032-0-8"
@@ -2547,7 +2547,7 @@
          id="tspan1030-6-7"
          x="122.23965"
          y="142.90675"
-         style="font-size:4.23333311px;stroke-width:0.26458332px">▸ Patterns</tspan></text>
+         style="font-size:4.23333px;stroke-width:0.264583px">▸ Patterns</tspan></text>
     <rect
        style="opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
        id="rect1020-5-9"
@@ -2568,7 +2568,7 @@
        inkscape:label="ReductionBox" />
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="188.00551"
        y="129.28072"
        id="text1028-1-4-3-1"
@@ -2577,15 +2577,14 @@
          id="tspan1026-2-99-6-2"
          x="188.00551"
          y="129.28072"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Exhaustive test</tspan><tspan
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Exhaustive test</tspan><tspan
          sodipodi:role="line"
          x="188.00551"
          y="132.3744"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
          id="tspan2707" /></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="151.79578"
        y="133.68773"
        id="text1028-1-5"
@@ -2594,7 +2593,7 @@
          id="tspan1026-2-9"
          x="151.79578"
          y="133.68773"
-         style="font-size:4.23333311px;stroke-width:0.26458332px">▸ DPOR</tspan></text>
+         style="font-size:4.23333px;stroke-width:0.264583px">▸ DPOR</tspan></text>
     <g
        id="g3559"
        transform="translate(1.322932,7.9374942)">
@@ -2602,10 +2601,10 @@
          id="text1032-0-1"
          y="130.17258"
          x="150.47285"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"><tspan
            id="tspan3528"
-           style="font-size:4.23333311px;line-height:4.4979167px;stroke-width:0.26458332px"
+           style="font-size:4.23333px;line-height:4.49792px;stroke-width:0.264583px"
            y="130.17258"
            x="150.47285"
            sodipodi:role="line">▸ State</tspan></text>
@@ -2613,10 +2612,10 @@
          id="text1032-0-1-8"
          y="134.97"
          x="154.33516"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"><tspan
            id="tspan3528-6"
-           style="font-size:4.23333311px;line-height:4.4979167px;stroke-width:0.26458332px"
+           style="font-size:4.23333px;line-height:4.49792px;stroke-width:0.264583px"
            y="134.97"
            x="154.33516"
            sodipodi:role="line">Equality</tspan></text>
@@ -5347,36 +5346,30 @@
       <text
          y="141.65999"
          x="243.32819"
-         style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSSI9;-inkscape-font-specification:CMSSI9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
-         id="text12226">
-        <tspan
-           style="stroke-width:0.35277778"
+         style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSSI9;-inkscape-font-specification:CMSSI9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
+         id="text12226"><tspan
+           style="stroke-width:0.352778"
            x="243.32819"
            y="141.65999"
-           id="tspan12224">x</tspan>
-      </text>
+           id="tspan12224">x</tspan></text>
       <text
          y="141.65999"
          x="244.96156"
-         style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSY9;-inkscape-font-specification:CMSY9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
-         id="text12230">
-        <tspan
-           style="stroke-width:0.35277778"
+         style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSY9;-inkscape-font-specification:CMSY9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
+         id="text12230"><tspan
+           style="stroke-width:0.352778"
            x="244.96156"
            y="141.65999"
-           id="tspan12228">←</tspan>
-      </text>
+           id="tspan12228">←</tspan></text>
       <text
          y="141.65999"
          x="248.58636"
-         style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
-         id="text12234">
-        <tspan
-           style="stroke-width:0.35277778"
+         style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
+         id="text12234"><tspan
+           style="stroke-width:0.352778"
            x="248.58636"
            y="141.65999"
-           id="tspan12232">2</tspan>
-      </text>
+           id="tspan12232">2</tspan></text>
       <g
          transform="matrix(0.35277777,0,0,-0.35277777,229.15619,137.57317)"
          id="g12240">
@@ -5470,9 +5463,9 @@
          id="text15126"
          y="135.22546"
          x="255.25545"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:-0.01322917px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:-0.0132292px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"><tspan
-           style="font-size:2.82222223px;letter-spacing:-0.01322917px;fill:#ff0000;stroke-width:0.26458332px"
+           style="font-size:2.82222px;letter-spacing:-0.0132292px;fill:#ff0000;stroke-width:0.264583px"
            y="135.22546"
            x="255.25545"
            id="tspan15124"
@@ -5482,37 +5475,31 @@
          id="g15250">
         <text
            id="text12262-6"
-           style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSSI9;-inkscape-font-specification:CMSSI9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
+           style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSSI9;-inkscape-font-specification:CMSSI9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
            x="254.32787"
-           y="148.47365">
-          <tspan
+           y="148.47365"><tspan
              id="tspan12260-1"
              y="148.47365"
              x="254.32787"
-             style="stroke-width:0.35277778">y</tspan>
-        </text>
+             style="stroke-width:0.352778">y</tspan></text>
         <text
            id="text12266-5"
-           style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSY9;-inkscape-font-specification:CMSY9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
+           style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSY9;-inkscape-font-specification:CMSY9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
            x="256.01517"
-           y="148.47365">
-          <tspan
+           y="148.47365"><tspan
              id="tspan12264-6"
              y="148.47365"
              x="256.01517"
-             style="stroke-width:0.35277778">←</tspan>
-        </text>
+             style="stroke-width:0.352778">←</tspan></text>
         <text
            id="text12270-1"
-           style="font-variant:normal;font-weight:normal;font-size:3.16314673px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
+           style="font-variant:normal;font-weight:normal;font-size:3.16315px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
            x="259.11078"
-           y="148.47365">
-          <tspan
+           y="148.47365"><tspan
              id="tspan12268-7"
              y="148.47365"
              x="259.11078"
-             style="stroke-width:0.35277778">1</tspan>
-        </text>
+             style="stroke-width:0.352778">1</tspan></text>
       </g>
       <g
          transform="translate(0.09449405,4.6585567)"
@@ -5559,50 +5546,39 @@
       <text
          y="125.40701"
          x="234.22328"
-         style="font-variant:normal;font-weight:normal;font-size:2.82222223px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
-         id="text12234-8">
-        <tspan
-           style="font-size:2.82222223px;stroke-width:0.35277778"
+         style="font-variant:normal;font-weight:normal;font-size:2.82222px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
+         id="text12234-8"><tspan
+           style="font-size:2.82222px;stroke-width:0.352778"
            x="234.22328"
            y="125.40701"
-           id="tspan12232-3">send(1)</tspan>
-      </text>
+           id="tspan12232-3">send(1)</tspan></text>
       <text
          y="131.45462"
          x="234.41226"
-         style="font-variant:normal;font-weight:normal;font-size:2.82222223px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.35277778"
-         id="text12234-8-8">
-        <tspan
-           style="font-size:2.82222223px;stroke-width:0.35277778"
+         style="font-variant:normal;font-weight:normal;font-size:2.82222px;font-family:CMSS9;-inkscape-font-specification:CMSS9;writing-mode:lr-tb;fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.352778"
+         id="text12234-8-8"><tspan
+           style="font-size:2.82222px;stroke-width:0.352778"
            x="234.41226"
            y="131.45462"
-           id="tspan12232-3-7">send(2)</tspan>
-      </text>
+           id="tspan12232-3-7">send(2)</tspan></text>
     </g>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="152.1629"
        y="96.588707"
        id="text1028-1-4-1-1"
-       inkscape:label="text1028-1-4-1-1"><tspan
-         sodipodi:role="line"
-         id="tspan1026-2-99-0-8"
-         x="152.1629"
-         y="100.91529"
-         style="font-size:4.23333311px;stroke-width:0.26458332px" /></text>
+       inkscape:label="text1028-1-4-1-1" />
     <g
        id="g32724"
        transform="matrix(0.1204976,0,0,-0.1204976,61.800118,144.45536)">
       <text
          transform="matrix(1,0,0,-1,108.462,27.9004)"
-         style="font-variant:normal;font-weight:bold;font-size:4.72424984px;font-family:Times;-inkscape-font-specification:Times-Bold;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
-         id="text32734">
-        <tspan
+         style="font-variant:normal;font-weight:bold;font-size:4.72425px;font-family:Times;-inkscape-font-specification:Times-Bold;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
+         id="text32734"><tspan
            x="0"
            y="0"
-           id="tspan32726" />
-      </text>
+           id="tspan32726" /></text>
     </g>
     <g
        id="g34108"
@@ -5613,14 +5589,8 @@
        transform="matrix(0.0830545,0,0,-0.0830545,77.484414,170.53818)">
       <text
          transform="matrix(1,0,0,-1,63.393,73.7527)"
-         style="font-variant:normal;font-weight:normal;font-size:23.99920082px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
-         id="text34358">
-        <tspan
-           x="0"
-           sodipodi:role="line"
-           id="tspan34356"
-           y="20.495317" />
-      </text>
+         style="font-variant:normal;font-weight:normal;font-size:23.9992px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
+         id="text34358" />
     </g>
     <a
        xlink:href="Plugins.html"
@@ -5636,7 +5606,7 @@
          ry="2.6458309" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46805573px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46806px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="157.15215"
          y="77.946869"
          id="text904-3-4"><tspan
@@ -5644,21 +5614,21 @@
            id="tspan902-5-5"
            x="157.15215"
            y="77.946869"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46805573px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Plugins</tspan></text>
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46806px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Plugins</tspan></text>
       <text
          xml:space="preserve"
-         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88055563px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#d40000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88056px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#d40000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="157.55919"
          y="83.230614"
          id="text1028-1-4-1"><tspan
            sodipodi:role="line"
            x="157.55919"
            y="83.230614"
-           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88055563px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';fill:#d40000;stroke-width:0.26458332px"
+           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88056px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';fill:#d40000;stroke-width:0.264583px"
            id="tspan15519">Your code</tspan></text>
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="153.11177"
          y="92.569839"
          id="text1032-0-9-0"><tspan
@@ -5666,10 +5636,10 @@
            id="tspan1030-6-4-5"
            x="153.11177"
            y="92.569839"
-           style="font-size:4.23333311px;stroke-width:0.26458332px">▸ Signals</tspan></text>
+           style="font-size:4.23333px;stroke-width:0.264583px">▸ Signals</tspan></text>
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="153.11177"
          y="97.710327"
          id="text1032-0-9-3-0"><tspan
@@ -5677,23 +5647,23 @@
            id="tspan1030-6-4-9-3"
            x="153.11177"
            y="97.710327"
-           style="font-size:4.23333311px;stroke-width:0.26458332px">▸ Extensions</tspan></text>
+           style="font-size:4.23333px;stroke-width:0.264583px">▸ Extensions</tspan></text>
       <text
          xml:space="preserve"
-         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88055563px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88056px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="155.86807"
          y="86.932091"
          id="text1028-1-4-1-5"><tspan
            sodipodi:role="line"
            x="155.86807"
            y="86.932091"
-           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88055563px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';stroke-width:0.26458332px"
+           style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.88056px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';stroke-width:0.264583px"
            id="tspan15519-6">deep inside</tspan></text>
     </a>
-    <g
-       id="Models"
-       transform="translate(-1.3229068,-6.6145842)"
-       inkscape:label="Models">
+    <a
+       id="a1463"
+       xlink:href="Models.html"
+       inkscape:label="ModelsLink">
       <rect
          ry="2.6458309"
          y="72.59375"
@@ -5701,14 +5671,17 @@
          height="30.427078"
          width="28.633774"
          id="rect1020-5-9-0"
-         style="opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
+         style="display:inline;opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+         inkscape:label="ModelsBox"
+         transform="translate(-1.3229068,-6.6145851)" />
       <text
          id="text904-0"
          y="78.04998"
          x="125.24854"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.3499999px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.35px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px"
            y="78.04998"
            x="125.24854"
            id="tspan902-0"
@@ -5717,9 +5690,10 @@
          id="text1028-1-4"
          y="83.07312"
          x="123.00803"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-size:4.23333311px;stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-size:4.23333px;stroke-width:0.264583px"
            y="83.07312"
            x="123.00803"
            id="tspan1026-2-99"
@@ -5728,9 +5702,10 @@
          id="text1032-0-9"
          y="92.446938"
          x="123.00803"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-size:4.23333311px;stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-size:4.23333px;stroke-width:0.264583px"
            y="92.446938"
            x="123.00803"
            id="tspan1030-6-4"
@@ -5739,9 +5714,10 @@
          id="text1032-0-9-3"
          y="97.587425"
          x="123.00803"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-size:4.23333311px;stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-size:4.23333px;stroke-width:0.264583px"
            y="97.587425"
            x="123.00803"
            id="tspan1030-6-4-9"
@@ -5750,9 +5726,10 @@
          id="text1028-1-4-3"
          y="87.287552"
          x="126.59879"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.175px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px"
            y="87.287552"
            x="126.59879"
            id="tspan1026-2-99-6"
@@ -5761,17 +5738,18 @@
          id="text1032-0-9-3-2"
          y="101.55618"
          x="126.7122"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-         xml:space="preserve"><tspan
-           style="font-size:4.23333311px;stroke-width:0.26458332px"
+         style="display:inline;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         xml:space="preserve"
+         transform="translate(-1.3229068,-6.6145851)"><tspan
+           style="font-size:4.23333px;stroke-width:0.264583px"
            y="101.55618"
            x="126.7122"
            id="tspan1030-6-4-9-9"
            sodipodi:role="line">operations</tspan></text>
-    </g>
+    </a>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="186.86519"
        y="144.73994"
        id="text1028-1-4-3-1-7"
@@ -5780,322 +5758,270 @@
          id="tspan1026-2-99-6-2-0"
          x="186.86519"
          y="144.73994"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Counter example</tspan><tspan
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Counter example</tspan><tspan
          sodipodi:role="line"
          x="186.86519"
          y="147.83363"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
          id="tspan2707-9" /></text>
     <text
-       style="font-variant:normal;font-weight:normal;font-size:0.62165904px;font-family:CMTT8;-inkscape-font-specification:CMTT8;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.08914207"
+       style="font-variant:normal;font-weight:normal;font-size:0.621659px;font-family:CMTT8;-inkscape-font-specification:CMTT8;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.0891421"
        id="text17318"
        x="186.39912"
        y="66.582924"
-       inkscape:label="LogsImg">
-      <tspan
+       inkscape:label="LogsImg"><tspan
          x="186.39912 187.05951 187.3898 187.72009 188.05037 188.38068 188.71095 189.04124 189.37152 189.70183 190.0321 190.36238 190.69267 191.02295 191.35326 192.01363 192.67404 193.00432 193.33461 193.6649 193.99518 194.32547 194.65576 194.98604 195.31631 195.64662 195.97691 196.30717 196.6375 196.96777 197.29803 197.62834 197.95863 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 200.9306 201.26086 201.59117 201.92145"
          y="66.582924"
          sodipodi:role="line"
          id="tspan17218"
-         style="stroke-width:0.08914207">$./my_simulator|MSG_visualization/colorize.pl</tspan>
-      <tspan
+         style="stroke-width:0.0891421">$./my_simulator</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="67.293381"
          sodipodi:role="line"
          id="tspan17220"
-         style="stroke-width:0.08914207">[0.000]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.000]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.60945 200.27045 200.60013 200.93042 201.2607 201.59096 201.92128 202.25154 202.91258 203.24222 203.57253 204.23354 204.89392 205.2242 205.55449 205.8848 206.21507 206.87546 207.20575 207.86613 208.19643 208.52672 208.85699 209.18729 209.51756 209.84784"
          y="67.293381"
          sodipodi:role="line"
          id="tspan17222"
-         style="stroke-width:0.08914207">[Tremblay:master]Got3workersand6taskstoprocess</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Got3workersand6taskstoprocess</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="68.003853"
          sodipodi:role="line"
          id="tspan17224"
-         style="stroke-width:0.08914207">[0.000]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.000]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569 207.53595"
          y="68.003853"
          sodipodi:role="line"
          id="tspan17226"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_0’to’Jupiter’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_0’to’Jupiter’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="68.714302"
          sodipodi:role="line"
          id="tspan17228"
-         style="stroke-width:0.08914207">[0.148]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.148]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569"
          y="68.714302"
          sodipodi:role="line"
          id="tspan17230"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_1’to’Fafard’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_1’to’Fafard’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="69.424767"
          sodipodi:role="line"
          id="tspan17232"
-         style="stroke-width:0.08914207">[0.148]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.148]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 200.9306 201.26086 201.92128 202.25154 202.58185 202.91212 203.24242 203.57271 203.903 204.23328"
          y="69.424767"
          sodipodi:role="line"
          id="tspan17234"
-         style="stroke-width:0.08914207">[Jupiter:worker]Processing’Task_0’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Jupiter:worker]Processing’Task_0’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="70.135315"
          sodipodi:role="line"
          id="tspan17236"
-         style="stroke-width:0.08914207">[0.347]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.347]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569 207.53595"
          y="70.135315"
          sodipodi:role="line"
          id="tspan17238"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_2’to’Ginette’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_2’to’Ginette’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="70.845764"
          sodipodi:role="line"
          id="tspan17240"
-         style="stroke-width:0.08914207">[0.347]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.347]</tspan><tspan
          x="190.36226 192.01358 192.34386 192.67416 193.00444 193.33473 193.66504 193.9953 194.32559 194.65587 194.98616 195.31645 195.64673 195.97704 197.62834 198.28871 198.61902 198.94931 199.27959 199.60988 199.94017 200.27045 200.60074 200.93042 201.2607 201.92171 202.252 202.58228 202.91258 203.24222 203.57253 203.90279 204.23309"
          y="70.845764"
          sodipodi:role="line"
          id="tspan17242"
-         style="stroke-width:0.08914207">[Fafard:worker]Processing’Task_1’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Fafard:worker]Processing’Task_1’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="71.556252"
          sodipodi:role="line"
          id="tspan17244"
-         style="stroke-width:0.08914207">[0.476]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.476]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569 207.53595"
          y="71.556252"
          sodipodi:role="line"
          id="tspan17246"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_3’to’Jupiter’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_3’to’Jupiter’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="72.266708"
          sodipodi:role="line"
          id="tspan17248"
-         style="stroke-width:0.08914207">[0.476]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.476]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 200.9306 201.26086 201.92128 202.25154 202.58185 202.91212 203.24242 203.57271 203.903 204.23328"
          y="72.266708"
          sodipodi:role="line"
          id="tspan17250"
-         style="stroke-width:0.08914207">[Ginette:worker]Processing’Task_2’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Ginette:worker]Processing’Task_2’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="72.977173"
          sodipodi:role="line"
          id="tspan17252"
-         style="stroke-width:0.08914207">[0.803]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.803]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 201.2607 201.59096 201.92128 202.25154"
          y="72.977173"
          sodipodi:role="line"
          id="tspan17254"
-         style="stroke-width:0.08914207">[Jupiter:worker]’Task_0’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Jupiter:worker]’Task_0’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="73.68763"
          sodipodi:role="line"
          id="tspan17256"
-         style="stroke-width:0.08914207">[0.951]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.951]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569"
          y="73.68763"
          sodipodi:role="line"
          id="tspan17258"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_4’to’Fafard’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_4’to’Fafard’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="74.398094"
          sodipodi:role="line"
          id="tspan17260"
-         style="stroke-width:0.08914207">[0.951]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[0.951]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 200.9306 201.26086 201.92128 202.25154 202.58185 202.91212 203.24242 203.57271 203.903 204.23328"
          y="74.398094"
          sodipodi:role="line"
          id="tspan17262"
-         style="stroke-width:0.08914207">[Jupiter:worker]Processing’Task_3’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Jupiter:worker]Processing’Task_3’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="75.108551"
          sodipodi:role="line"
          id="tspan17264"
-         style="stroke-width:0.08914207">[1.003]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.003]</tspan><tspan
          x="190.36226 192.01358 192.34386 192.67416 193.00444 193.33473 193.66504 193.9953 194.32559 194.65587 194.98616 195.31645 195.64673 195.97704 197.62834 198.28871 198.61902 198.94931 199.27959 199.60988 199.94017 200.27045 200.60074 201.26114 201.59142 201.92171 202.252"
          y="75.108551"
          sodipodi:role="line"
          id="tspan17266"
-         style="stroke-width:0.08914207">[Fafard:worker]’Task_1’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Fafard:worker]’Task_1’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="75.819107"
          sodipodi:role="line"
          id="tspan17268"
-         style="stroke-width:0.08914207">[1.202]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.202]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145 202.25174 202.58203 202.91232 203.2426 203.903 204.23328 204.89368 205.22395 205.55424 205.88454 206.21483 206.5451 206.8754 207.20569 207.53595"
          y="75.819107"
          sodipodi:role="line"
          id="tspan17270"
-         style="stroke-width:0.08914207">[Tremblay:master]Sending’Task_5’to’Ginette’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Sending’Task_5’to’Ginette’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="76.529579"
          sodipodi:role="line"
          id="tspan17272"
-         style="stroke-width:0.08914207">[1.202]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.202]</tspan><tspan
          x="190.36226 192.01358 192.34386 192.67416 193.00444 193.33473 193.66504 193.9953 194.32559 194.65587 194.98616 195.31645 195.64673 195.97704 197.62834 198.28871 198.61902 198.94931 199.27959 199.60988 199.94017 200.27045 200.60074 200.93042 201.2607 201.92171 202.252 202.58228 202.91258 203.24222 203.57253 203.90279 204.23309"
          y="76.529579"
          sodipodi:role="line"
          id="tspan17274"
-         style="stroke-width:0.08914207">[Fafard:worker]Processing’Task_4’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Fafard:worker]Processing’Task_4’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="77.240028"
          sodipodi:role="line"
          id="tspan17276"
-         style="stroke-width:0.08914207">[1.507]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.507]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 201.2607 201.59096 201.92128 202.25154"
          y="77.240028"
          sodipodi:role="line"
          id="tspan17278"
-         style="stroke-width:0.08914207">[Ginette:worker]’Task_2’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Ginette:worker]’Task_2’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="77.9505"
          sodipodi:role="line"
          id="tspan17280"
-         style="stroke-width:0.08914207">[1.606]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.606]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 201.2607 201.59096 201.92128 202.25154"
          y="77.9505"
          sodipodi:role="line"
          id="tspan17282"
-         style="stroke-width:0.08914207">[Jupiter:worker]’Task_3’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Jupiter:worker]’Task_3’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="78.660965"
          sodipodi:role="line"
          id="tspan17284"
-         style="stroke-width:0.08914207">[1.635]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.635]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.60945 199.93973 200.27002 200.60033 200.9306 201.59096 201.92128 202.25154 202.58185 202.91212 203.24242 203.57271 203.903 204.23328 204.56355 204.89384 205.55424 205.88454 206.21483 206.5451 206.8754 207.53578 207.86606 208.19637 208.52663 209.18703 209.5173 209.84761 210.1779 210.50819 210.83847 211.16876 211.49904"
          y="78.660965"
          sodipodi:role="line"
          id="tspan17286"
-         style="stroke-width:0.08914207">[Tremblay:master]Alltasksdispatched.Let’sstopworkers.</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Alltasksdispatched.Let’sstopworkers.</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="79.371429"
          sodipodi:role="line"
          id="tspan17288"
-         style="stroke-width:0.08914207">[1.635]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.635]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 200.9306 201.26086 201.92128 202.25154 202.58185 202.91212 203.24242 203.57271 203.903 204.23328"
          y="79.371429"
          sodipodi:role="line"
          id="tspan17290"
-         style="stroke-width:0.08914207">[Ginette:worker]Processing’Task_5’</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Ginette:worker]Processing’Task_5’</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="80.081879"
          sodipodi:role="line"
          id="tspan17292"
-         style="stroke-width:0.08914207">[1.637]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.637]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.60988 199.94017 200.27045 200.60013 200.93042 201.59142 201.92171 202.252 202.91237 203.24268 203.57295 203.90324"
          y="80.081879"
          sodipodi:role="line"
          id="tspan17294"
-         style="stroke-width:0.08914207">[Jupiter:worker]I’mdone.Seeyou!</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Jupiter:worker]I’mdone.Seeyou!</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="80.792343"
          sodipodi:role="line"
          id="tspan17296"
-         style="stroke-width:0.08914207">[1.857]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.857]</tspan><tspan
          x="190.36226 192.01358 192.34386 192.67416 193.00444 193.33473 193.66504 193.9953 194.32559 194.65587 194.98616 195.31645 195.64673 195.97704 197.62834 198.28871 198.61902 198.94931 199.27959 199.60988 199.94017 200.27045 200.60074 201.26114 201.59142 201.92171 202.252"
          y="80.792343"
          sodipodi:role="line"
          id="tspan17298"
-         style="stroke-width:0.08914207">[Fafard:worker]’Task_4’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Fafard:worker]’Task_4’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="81.502792"
          sodipodi:role="line"
          id="tspan17300"
-         style="stroke-width:0.08914207">[1.859]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[1.859]</tspan><tspan
          x="190.36226 192.01358 192.34386 192.67416 193.00444 193.33473 193.66504 193.9953 194.32559 194.65587 194.98616 195.31645 195.64673 195.97704 197.62834 198.28871 198.61902 198.94931 199.6097 199.93999 200.27026 200.60056 200.93085 201.59123 201.92152 202.2518 202.9122 203.24248 203.57278 203.90305"
          y="81.502792"
          sodipodi:role="line"
          id="tspan17302"
-         style="stroke-width:0.08914207">[Fafard:worker]I’mdone.Seeyou!</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Fafard:worker]I’mdone.Seeyou!</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="82.213356"
          sodipodi:role="line"
          id="tspan17304"
-         style="stroke-width:0.08914207">[2.666]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[2.666]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.27914 199.60945 199.93973 200.27002 200.60033 201.2607 201.59096 201.92128 202.25154"
          y="82.213356"
          sodipodi:role="line"
          id="tspan17306"
-         style="stroke-width:0.08914207">[Ginette:worker]’Task_5’done</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Ginette:worker]’Task_5’done</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="82.92382"
          sodipodi:role="line"
          id="tspan17308"
-         style="stroke-width:0.08914207">[2.668]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[2.668]</tspan><tspan
          x="190.36226 191.35338 191.68304 192.01334 192.34361 192.67392 193.0042 193.33447 193.66478 193.99504 194.32535 194.65562 194.98592 195.31619 195.64651 195.97678 197.62808 198.28848 198.61876 198.94907 199.27934 199.60965 199.93991 200.27022 200.9306 201.26086 201.59117 201.92145"
          y="82.92382"
          sodipodi:role="line"
          id="tspan17310"
-         style="stroke-width:0.08914207">[Tremblay:master]Goodbyenow!</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Tremblay:master]Goodbyenow!</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198"
          y="83.634293"
          sodipodi:role="line"
          id="tspan17312"
-         style="stroke-width:0.08914207">[2.668]</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[2.668]</tspan><tspan
          x="190.36226 191.68347 192.01376 192.34406 192.67435 193.00462 193.33493 193.66519 193.99486 194.32515 194.65546 194.98572 195.31602 195.6463 195.97659 197.62791 198.2883 198.61859 198.94887 199.60988 199.94017 200.27045 200.60013 200.93042 201.59142 201.92171 202.252 202.91237 203.24268 203.57295 203.90324"
          y="83.634293"
          sodipodi:role="line"
          id="tspan17314"
-         style="stroke-width:0.08914207">[Ginette:worker]I’mdone.Seeyou!</tspan>
-      <tspan
+         style="stroke-width:0.0891421">[Ginette:worker]I’mdone.Seeyou!</tspan><tspan
          x="186.39912 188.38054 188.71083 189.04111 189.37141 189.70169 190.03198 190.36226 197.62778 198.28879 198.61909 198.94939 199.27965 199.60994 199.93961 200.2699 200.60017 200.93048 201.26074 201.92177 202.25142 202.58173 202.91202 203.57303 203.90329 204.2336 204.56387 204.89352 205.22383 205.55411"
          y="84.344749"
          sodipodi:role="line"
          id="tspan17316"
-         style="stroke-width:0.08914207">[2.668][]Simulationtime2.66766</tspan>
-    </text>
+         style="stroke-width:0.0891421">[2.668][]Simulationtime2.66766</tspan></text>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="190.76848"
        y="87.178818"
        id="text1028-1-4-3-1-5-3"
@@ -6104,11 +6030,10 @@
          id="tspan1026-2-99-6-2-1-7"
          x="190.76848"
          y="87.178818"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Textual logs</tspan><tspan
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Textual logs</tspan><tspan
          sodipodi:role="line"
          x="190.76848"
          y="90.272514"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
          id="tspan2707-0-8" /></text>
     <a
        id="a6158"
@@ -6129,23 +6054,22 @@
          id="text1028-1-4-3-1-5"
          y="109.58816"
          x="184.07834"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="VisuText"><tspan
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:2.91042px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px"
            y="109.58816"
            x="184.07834"
            id="tspan1026-2-99-6-2-1"
            sodipodi:role="line">R visualizations</tspan><tspan
            id="tspan2707-0"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;line-height:2.91041636px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px"
            y="112.68185"
            x="184.07834"
            sodipodi:role="line" /></text>
     </a>
     <a
        id="a6161"
-       xlink:href="https://framagit.org/simgrid/platform-calibration/"
+       xlink:href="Calibrating_the_models.html"
        style="fill:#ffffff;fill-opacity:1"
        transform="translate(4.7625068,-32.198834)"
        inkscape:label="CalibrLink">
@@ -6160,7 +6084,7 @@
          inkscape:label="CalibrBox" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166698px;line-height:4.4979167px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29167px;line-height:4.49792px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="96.944122"
          y="126.07596"
          id="text1024-2-7-6"
@@ -6169,11 +6093,11 @@
            id="tspan1022-4-5-7"
            x="96.944122"
            y="126.07596"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.26458332px">Automatic</tspan><tspan
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.264583px">Automatic</tspan><tspan
            sodipodi:role="line"
            x="96.944122"
            y="130.66551"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.26458332px"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:center;text-anchor:middle;stroke-width:0.264583px"
            id="tspan6160">Calibration</tspan></text>
     </a>
     <a
@@ -6195,22 +6119,21 @@
          id="text1024-2-7"
          y="126.00643"
          x="66.213799"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166698px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29167px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="ConfigText"><tspan
-           style="font-size:5.29166698px;stroke-width:0.26458332px"
+           style="font-size:5.29167px;stroke-width:0.264583px"
            y="126.00643"
            x="66.213799"
            id="tspan1022-4-5"
            sodipodi:role="line">Config</tspan><tspan
-           style="font-size:5.29166698px;stroke-width:0.26458332px"
            y="132.62102"
            x="66.213799"
            sodipodi:role="line"
            id="tspan2827" /></text>
     </a>
     <a
-       xlink:href="Deploying_your_Application.html"
+       xlink:href="Deploying_your_application.html"
        inkscape:label="DeployLink"
        transform="translate(-2.8431311e-6,13.229176)"
        id="a6179">
@@ -6227,10 +6150,10 @@
          id="text1024-2"
          y="117.80719"
          x="65.007576"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444447px;line-height:6.61458349px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"
          inkscape:label="DeployText"><tspan
-           style="fill:#000000;fill-opacity:1;stroke-width:0.26458332px"
+           style="fill:#000000;fill-opacity:1;stroke-width:0.264583px"
            y="117.80719"
            x="65.007576"
            id="tspan1022-4"
@@ -6316,7 +6239,7 @@
     </g>
     <text
        xml:space="preserve"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888855px;line-height:4.4979167px;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
        x="31.527008"
        y="135.82547"
        id="text4612"
@@ -6325,14 +6248,14 @@
          id="tspan4610"
          x="31.527008"
          y="135.82547"
-         style="line-height:4.4979167px;text-align:start;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke-width:0.26458332px">User</tspan><tspan
+         style="line-height:4.49792px;text-align:start;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke-width:0.264583px">User</tspan><tspan
          sodipodi:role="line"
          x="31.527008"
          y="140.32338"
-         style="line-height:4.4979167px;text-align:start;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke-width:0.26458332px"
+         style="line-height:4.49792px;text-align:start;text-anchor:start;fill:#0a3455;fill-opacity:1;stroke-width:0.264583px"
          id="tspan4614">Manual</tspan></text>
     <a
-       xlink:href="platform.html#defining-a-routing"
+       xlink:href="Platform_routing.html"
        transform="translate(-32.808342,8.6462044)"
        style="display:inline;fill:#ffffff;fill-opacity:1"
        id="a6094"
@@ -6348,7 +6271,7 @@
          style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35277772;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="96.999245"
          y="85.314552"
          id="text1032"
@@ -6357,10 +6280,10 @@
            id="tspan1030"
            x="96.999245"
            y="85.314552"
-           style="font-size:4.93888903px;stroke-width:0.26458332px">Routing</tspan></text>
+           style="font-size:4.93889px;stroke-width:0.264583px">Routing</tspan></text>
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52777767px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.52778px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="99.986229"
          y="89.863449"
          id="text1028-1-4-3-0-8"
@@ -6369,7 +6292,7 @@
            id="tspan1026-2-99-6-3-6"
            x="99.986229"
            y="89.863449"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.58611107px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">paths</tspan></text>
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.58611px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">paths</tspan></text>
     </a>
     <a
        xlink:href="app_s4u.html"
@@ -6388,7 +6311,7 @@
          style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="68.460075"
          y="73.960541"
          id="ProfileText-7-6"
@@ -6397,19 +6320,17 @@
            id="tspan1034-5-2"
            x="68.460075"
            y="73.960541"
-           style="font-size:4.93888903px;stroke-width:0.26458332px">Abstract Actors</tspan><tspan
+           style="font-size:4.93889px;stroke-width:0.264583px">Abstract Actors</tspan><tspan
            sodipodi:role="line"
            x="68.460075"
            y="80.575127"
-           style="font-size:4.93888903px;stroke-width:0.26458332px"
            id="tspan2316-9" /></text>
     </a>
     <a
        inkscape:label="OfflineTraceLink"
        style="display:inline;fill:#ffffff;fill-opacity:1"
        id="a6097-3-1"
-       transform="translate(-56.885422,31.905132)"
-       xlink:href="">
+       transform="translate(-56.885422,31.905132)">
       <rect
          inkscape:label="OfflineTraceBox"
          ry="0.87357658"
@@ -6421,7 +6342,7 @@
          style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="70.530411"
          y="73.960541"
          id="ProfileText-7-7"
@@ -6430,11 +6351,10 @@
            id="tspan1034-5-0"
            x="70.530411"
            y="73.960541"
-           style="font-size:4.93888903px;stroke-width:0.26458332px">Offline Traces</tspan><tspan
+           style="font-size:4.93889px;stroke-width:0.264583px">Offline Traces</tspan><tspan
            sodipodi:role="line"
            x="70.530411"
            y="80.575127"
-           style="font-size:4.93888903px;stroke-width:0.26458332px"
            id="tspan2316-93" /></text>
     </a>
     <a
@@ -6454,7 +6374,7 @@
          style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="69.626068"
          y="73.481842"
          id="ProfileText-7-62"
@@ -6463,11 +6383,10 @@
            id="tspan1034-5-6"
            x="69.626068"
            y="73.481842"
-           style="font-size:4.93888903px;stroke-width:0.26458332px">Real MPI Code</tspan><tspan
+           style="font-size:4.93889px;stroke-width:0.264583px">Real MPI Code</tspan><tspan
            sodipodi:role="line"
            x="69.626068"
            y="80.096428"
-           style="font-size:4.93888903px;stroke-width:0.26458332px"
            id="tspan2316-1" /></text>
     </a>
     <g
@@ -6484,16 +6403,16 @@
          id="text853"
          y="106.90308"
          x="55.99131"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.3499999px;line-height:6.61458302px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:6.35px;line-height:6.61458px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          xml:space="preserve"><tspan
-           style="font-size:14.11111069px;stroke-width:0.26458332px"
+           style="font-size:14.1111px;stroke-width:0.264583px"
            y="106.90308"
            x="55.99131"
            id="tspan851"
            sodipodi:role="line">+</tspan></text>
     </g>
     <a
-       xlink:href="Platform_Examples.html"
+       xlink:href="Platform_examples.html"
        inkscape:label="ExamplesLink"
        transform="translate(-20.902092,-41.010402)"
        style="display:inline;fill:#ffffff;fill-opacity:1"
@@ -6509,7 +6428,7 @@
          inkscape:label="ExamplesBox" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166698px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29167px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="84.447563"
          y="126.40523"
          id="text1024-2-7-6-2"
@@ -6518,10 +6437,10 @@
            id="tspan1022-4-5-7-0"
            x="84.447563"
            y="126.40523"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Examples</tspan></text>
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Examples</tspan></text>
     </a>
     <a
-       xlink:href="XML_Reference.html"
+       xlink:href="XML_reference.html"
        id="a6161-7-2"
        style="display:inline;fill:#ffffff;fill-opacity:1"
        transform="translate(6.879166,-41.010404)"
@@ -6537,7 +6456,7 @@
          inkscape:label="ReferenceBox" />
       <text
          xml:space="preserve"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166698px;line-height:6.61458349px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29167px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
          x="84.018303"
          y="126.69018"
          id="text1024-2-7-6-2-7"
@@ -6546,7 +6465,7 @@
            id="tspan1022-4-5-7-0-5"
            x="84.018303"
            y="126.69018"
-           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px">Reference</tspan></text>
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Reference</tspan></text>
     </a>
   </g>
 </svg>