Sorting HTML tables quickly.