I've been going through the library one shelf at a time but I hadn't got to that section yet. (Well, I say 'section' but it's really in need of a proper rearranging. I'm not sure what system they're using but I suspect it's 'put it back on the nearest shelf with a hole' and then it's impossible to find it later.)

What else did you do today, besides sleep?