[07:33] <dholbach> good morning
[09:35] <JamesTait> Good morning all; happy Friday, and happy Miners' Day! :)