Computing with Portable, USB Type-C priced £100 or less