Doing more stuff offline is a good idea for productivity. ​