A tool to save Flash videos in firefox