After dragging the desktop.ini file to the trash a few times, and seeing it re-created, I instead right-clicked and deleted it. So far (5 minutes or so), it has not been recreated. Maybe it's somehow related to a glitch in Windows 10? In any event, it's gone, for now.