Varia: A Sleek Open-Source Download Manager With Browser Extensions