Hi, and thanks for your changes to https://www.mediawiki.org/wiki/Cli/guide/Docker-Development-Environment resizing the images. Unfortunately I had to undo your changes today as the gifs were not actually playing for me while looking at the page. I believe you can still see this at https://www.mediawiki.org/w/index.php?title=Cli/guide/Docker-Development-Environment&oldid=5065508
