> On 21 Jan 2025, at 18:55, Cay Horstmann <cay.horstmann at gmail.com> wrote: > > +1 > > But what is IO.read? A typo! Thanks Cay - resent with correction. Many Thanks, Gavin