I've written the JS library to implement table sorting, and although it appears to work, the results don't actually match what's expected, so I've obviously screwed something up somewhere. The order seems to change at random. This needs debugging and fixing, and once that's done, I need to decide whether to add the direction triangle feature -- maybe not needed -- and I have to set the pointer for the column header.