Using Blender to convert a set of images into a video

Notes for Blender 2.82

• (?) Go to 'Animation' tab (top line)
• Add the images using "Video Sequencer" / "Sequencer", Three lines -> "Add"/"Image/Sequence"
• Walk through images & set last image in "Dope Sheet"/"Dope Sheet"
• Specify output in "Properties", select "Output Properties" in collumn left: "Output Properties"
• Start generating output by clicking "render" (top row, somewhat left), and "Render Animation"