When the hikers left, I had a bit of day I could spend on the house! Which was good. I had been meaning to apply a second layer of oil on the living room ceiling, but it just never ended up high enough on the to do list. But the plasterer could appear any time (theoretically, at least) and it would have to be done by then! So I brought the house back to its original state, and then applied myself to the ceiling. And I got it done! It looks quite good. The only thing now is to do some cat-herding and finally get the plasterer to start the work. That would be great!