I've seen some answers on graphicdesign.stackexchange.com where people have made small recordings of how they navigate menus to show someone where a particular item is located. These are usually animated gifs and not videos.
What software is being used to create these?
What is this type of video called? It isn't an animated gif because animations aren't being used. Someone recorded a small section of their screen and uploaded the recording as a gif.
Here is an example: Keep pixels crisp when rotating object?