Spanish microbiologist Francisco Mojica is credited with coining the name CRISPR, but crisper definitions are possible, as @KevinADavies tweeted some time ago. What does CRISPR “actually” stand for?