Is it a desecration to delete a text with God’s name? A review of the relevant digital halacha tries to come up with an answer