Text this: Deciding DFA-Primality is NP-Hard