As the comment says, they're handled in some other way already,
and we're not shipping these plugins so forcibly disabling them
does not buy us anything. Let's simplify things and get closer
to pristine Tor Browser.