You probably should reinstall them all. It is actually faster and more consistant than trying to automatically migrate extensions. You will find that installation is very quick from an empty extension manager. It is only reinstalling and uninstalling that takes a long time.