“Microsoft missed the bug despite users filing reports in its Feedback Hub, since the number of total reports of file deletion was too low”