Mint is re-installed and Android Studio is now available on it as well but most of the other applications are not yet in place, mail is not configured, etc.  This will take a couple of days.