fix broken link and s/Summary/TL;DR/
mention how antiqsort is used earlier