=== JamesJRH_ is now known as JamesJRH
=== ubot5` is now known as ubot5
=== jacekn_ is now known as jacekn
[08:09] <JamesTait> Good morning all; happy Ada Lovelace Day! :-D