changed gifs user 4 and 5

book/workflows/edit_book.md

@@ -111,11 +111,11 @@ You can edit it and commit the changes in the same manner as with markdown (.md)
 
 How to make an edit and make a commit using VS Code is demonstrated in the figure below, all steps are elaborated on in the following step-by-step tutorial.
  
-```{figure} figures/user4_clone_edit.gif
+```{figure} figures/User4_updated-ezgif.com-optimize.gif
 ---
 name: user4_clone_edit_demo
 ---
-Demonstration, video available [here](https://youtu.be/Etr1jEbiZ4g)
+Demonstration, video available [here](https://youtu.be/bThimdDRXTc)
 
 1. Make some changes to a file in for example VS Code and save them.
 
@@ -307,13 +307,13 @@ Alternatively, you can also click on `Push origin` in the top bar.
 `````{tab-set}
 ````{tab-item} ... Git in VS Code
 
-How to use the terminal to view local changes made to the book is demonstrated in the figure below, all steps are elaborated on in the following step-by-step tutorial.
+The steps above are demonstrated in the figure below, all steps are elaborated on in the following step-by-step tutorial.
  
-```{figure} figures/User5_viewingchanges.gif
+```{figure} figures/User5_wholeshabang-ezgif.com-optimize.gif
 ---
-name: user5_view_changes_demo
+name: user5_demo
 ---
-Demonstration, video available [here](https://youtu.be/6gTWYhiSN4Q)
+Demonstration, video available [here](https://youtu.be/2ttjBevkEP8)
 
 1. Make some changes to a file in for example VS Code and save them.