Some packing and planning-refinement for heading off to a proper vacation tomorrow: Berlin for a few days, then Prague after that.