It is about 7pm, and I just found that the posting from this morning did not happen. It is there now.
As a way to get my sleep patterns to be somewhat normal I had a snooze about 2pm. I was not particularly tired but given the hours I have been sleeping I decided to have a sleep anyway. Probably a good thing – I eventually woke up about 5pm, making my short sleep three hours. I was obviously more sleep deprived than I thought.