Making Miki sleep after a long day: lunch with @ajlopez, then call with TimO and more work