Later: I went to sleep relatively early, compared to how late I'd been staying up lately. I woke up a little after 8:00 a.m. I went down for a nap after breakfast.
I ended up going to the library again in the mid-afternoon. Some of the books that I'd put on hold yesterday had arrived, and I got some other historical mysteries set in the 1920s.