Looking forward to regular open office hours today, but there's a time change: due to daylight savings time here, the time in UTC has shifted an hour later.

https://github.com/sunfishcode/office-hours