Не забывайте обновлять свои менеджеры версий, если планируете тщательно сравнивать 4.01 и 4.02.