Moved to /blog/2014/09/13/junior-summer-vacation/.