3 Things We Learned from the New Ruth Bader Ginsburg Documentary