Interesting; normally, shortened URLs are converted to their 301 destination on HN, but the same does not apply to Tumblr. Hence my confusion. Thanks for point

Interesting; normally, shortened URLs are converted to their 301 destination on HN, but the same does not apply to Tumblr. Hence my confusion. Thanks for pointing it out.