tidying
make sure we reset watchedPins. deep sleep wake from USB now works (although USB TX seems broken)
deep sleep now works, and will wake up and re-appear on USB. Still no auto-wakeup when USB plugged in though
casting
no longer light LED1 on overflow - it's annoying
save deep sleep state
Using RTC for system time and deep sleep wakeup
whoops - forgot to save
Add fallbacks for F3 and F4 - they have insane calendars on the RTC