README: try different way of embedding videos for gitlab

README.md

@@ -27,8 +27,7 @@ Everything is open source, so you can read, understand and modify the whole syst
 
 |Compiling and Running "Hello World"|Moving Lines Demo|
 |---|---|
-|<video src="https://insignificance.de/tridora/tdr-hello.mp4" controls></video>|<video src="https://insignificance.de/tridora/tdr-lines.mp4" controls></video>|
+[![image](https://insignificance.de/tridora/tdr-hello-thumb.jpg)](https://insignificance.de/tridora/tdr-hello.mp4)|[![image](https://insignificance.de/tridora/tdr-lines-thumb.jpg)](https://insignificance.de/tridora/tdr-lines.mp4) |
-
 
 ### Pictures
 

doc/tridoracpu.md

@@ -624,7 +624,7 @@ Load variable and increment by 3, putting the new value on top of the stack, kee
 the old value on the stack:
 
 	LOAD 4
-	INC 3
+	INC.S1.X2Y 3
 
 After this sequence, the stack contains the original value of the variable and the
 incremented value.