Support deletion of snippets; minor UI changes