Piped: A privacy-friendly YouTube front end which is efficient by design