I don’t understand any of the technical details involved here, but reading your comments makes me seriously wondering, does RPi rely on these everywhere, or jus

I don’t understand any of the technical details involved here, but reading your comments makes me seriously wondering, does RPi rely on these everywhere, or just when plugged to a Mac? Because all three things seem like pretty reasonable optimisation opportunities for a file manager to implement, and given how USB storage devices have been around I’m very surprised if they managed to get away without issues until now.