I’ve successfully upgtraded my Mintbox to Mint 19. Now to figure out all the stuff.