I noticed that the TimSort and IntroSort implementations from PR #313 (which was merged last week) are currently not visible on the live site — it shows “coming soon” instead. Just to be sure it ...