Update multiverse blog post

Author: tolauwae

warduino/blog/multiverse.md

@@ -8,12 +8,6 @@
 _Multiverse debugging was first proposed back in 2019, but now we are finally seeing real world applications.
 Diverse categories of embedded software for microcontrollers can be debugged using the MIO multiverse debugger._
 
-::: info Auxiliary Material
-
-This blog post is additional material for the *"MIO: Multiverse Debugging in the face of Input/Output"* paper.
-
-:::
-
 <span style="font-size: var(--vp-custom-block-font-size);">
 <b>Tom Lauwaerts and Maarten Steevens · <a href="https://github.com/tolauwae">@tolauwae</a> <a href="https://github.com/MaartenS11">@MaartenS11</a></b><br>
 November 14, 2024 | 4 min read
@@ -25,8 +19,12 @@ In this blog post, we discuss the wide applicability of the [MIO multiverse debu
 
 ## Binary Counter with LEDs
 
+The binary counter is a simple program that uses 4 LEDs and two buttons. One button counts up and one button counts down. The LEDs show the state of 4 bit counter.
+
 ## Lego Mindstorms Color Dial
 
+The color dial is an application that uses a color sensor to make a needle on a dial point towards the color it sees. To achieve this it makes use of a Lego Mindstorms color sensor and servo motor.
+
 ## Related posts
 
 ***