在大多数情况下，浏览器的内置下载功能已经足够用于将网页上的公开视频保存到本地。然而，如果你希望使用扩展程序来增强下载功能或提供额外的便利，以下是一些推荐：
1. youtube-dl - 一个非常强大的下载工具，可以处理各种格式的视频和音频文件。它支持多种协议，包括m3u8、flv、mp4、webm等。
2. vlc media player - 除了播放媒体文件外，vlc还允许用户下载视频。虽然它的下载功能不如专业的下载工具那样强大，但对于简单的下载任务来说已经足够了。
3. video downloadhelper - 这是一个免费的在线工具，可以用来下载youtube和其他网站的视频。它支持多种视频格式，并且界面友好。
4. ffmpeg - 是一个强大的命令行工具，可以用来处理视频文件。虽然它不是一个浏览器扩展，但它可以通过命令行工具来下载视频。
5. streamlabs ogg converter - 这是一个可以将ogg格式转换为其他常见格式（如mp4）的工具。虽然它主要用于转换ogg文件，但也可以作为下载ogg视频的一种方式。
6. youtube-dl for firefox - 是youtube-dl的一个专用浏览器扩展，提供了更直观的用户界面和一些额外的功能。
7. video download manager - 这是一款免费且开源的下载管理器，它可以帮助你管理多个下载任务，并自动识别视频链接。
在使用这些扩展之前，请确保它们来自可信赖的来源，并且不会违反任何版权法规。此外，某些扩展可能需要安装额外的软件才能运行，因此在使用前请仔细阅读其说明和要求。