This clarifies that the paths are not sorted in a fully lexicographic order, but that / is treated specially. Fixes #2418