RealMedia was one of the first formats for streaming video, and clips from the late 1990s and 2000s are still found in it. Almost nothing plays RM today, while MP4 plays on every device.
The defaults suit most files. Under Options you can lower the resolution, trade quality against file size, remove the sound and trim the start and end. This is demanding work for a browser: a long or high-resolution file can take several minutes, and your device does all of it, so keep the tab open.
This pair uses the compatibility engine, ffmpeg built for the browser, because RM is not handled by the browser's built-in codecs. It is a one-off download of about 10 MB that the browser keeps, it is slower than the built-in codecs, and it takes files up to 1 GB.