Saving Social Videos Faster and Safer: A Practical Guide to Online Downloaders