> It could be very useful for 3 reason. This will surely break git mirrors. -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University