This raises another question: does any of this matter, given this month's election results? Will Trump's DoJ follow through on whatever priorities the current DoJ sets? That's an open question, but - unlike so many other questions about the coming Trump regime - the answer here isn't necessarily a nightmare.
20/