Wow, I had not connected the idea of using CRISPR genome editing with targeting virus dna segments. If I understand the technique correctly (and I am not a biologist for sure!) they used an adeno virus modified with a specific Cas9 setup to elide HIV DNA from cells it infected (normally I associate viruses with adding DNA rather than removing it :-)

Is that even close to a correct interpretation? It sounds like the technique could be used for pretty much any virus dna you wanted to target.