Extracting a video from the HTML developer - Stack Overflow

I can only send it through FB messenger. I am using the HTML Inspector/ Developer tab to find the source of the video and then maybe grab & ...