H. S. Teoh: > Is the built-in sort deprecated yet? If it is, when can we > finally say bye-bye to it? https://d.puremagic.com/issues/show_bug.cgi?id=10318 Bye, bearophile