files 4.1.3

Files 4.1.3, released for Windows users as a minor update to the third-party Files file manager, adds on-demand folder-size calculation, preserves selections when changing layouts, improves tag removal, refreshes the OneDrive icon, and fixes several archive, thumbnail, media, search, and...