Hmm, it appears I've lost a whole hour today. didn't realise it was that time of year again, but the clocks have gone forward an hour; which isn't great, as it means I only have an hour left in the library to attempt to get anything done.
Not good.
But thanks to
katrin514 for pointing it out, anyway!