Amazon Alexa's voice-command history is now much easier to delete