Remote ancient $Id$ tags which are not updated anymore by git