boot into safe mode, navigate to the affected file, and delete it.
Yeah. That’s the easiest, unless the drive is encrypted.
I imagine the folks going for the 15 reboots approach are doing so because it’s easier than waiting in line for their IT help desk to deliver them their boot encryption key.