User blog comment:Charlie the Penguin/Runtime of "We Wish You a Merry Walrus" Confirmed/@comment-24801399-20141215002445/@comment-9382261-20141215172142

That short? I expected it to be at least 40 minutes.