When I update the Post Labels, the front end filter is not sorted by Post Label ID number, as you would expect.
Instead, I seems to go by the last date the Post Label was modified. While this can work to re-order Post Labels on the back end, it seems more intuitive IF the front end filter only goes by the ID number from the database.
FYI