GNOME Extensions open the door to a wide range of improvements, and several directly enhance the file manager. You’ll find extensions that add features such as file tagging, color-coded folders, and ...