Teddit: a free and open-source Reddit front end focused on privacy