Public ยท 2026-07-02 02:12+00:00I still long for the day file managers sort files as 1,2,3,[...],10,11 instead of 1,10,11,[...],19,2,20