Microsoft becomes even more irrelevent. Yahoo offer officially pulled.