On Wed, 30 Aug 2023 at 19:33, Ian Bruntlett <ian.bruntlett at gmail.com> wrote: > > I was wondering... what do other people do in similar situations like this? Most boot off USB stick I think. Colin