Deployed 720fa547 to develop in public with MkDocs 1.6.1 and mike 2.1.3

public/develop/run_experiments/index.html

@@ -600,7 +600,6 @@ In the following we start with the first option, then we comment on how to run e
 It is meant for being used to test if all components involved in this scenario are working correct.
 To run all the functional tests, you can run:</p>
 <pre><code>src/tests/ofc22/run_tests.sh
-
 </code></pre>
 <p>The following sections explain each one of the steps.</p>
 <p><strong>Device bootstrapping</strong></p>