better compare with localCompare; delete old 'compare' script
JS include since some years a function 'localCompare' able to sort label mixing alphanumerical value Link to #3288
JS include since some years a function 'localCompare' able to sort label mixing alphanumerical value Link to #3288