Is Reddit forgetting history? Users migrated from Digg to Reddit in large numbers due to UI changes that users did not appreciate.