Groups with context-free Diophantine problem (Groups, Complexity, Cryptology, 2021)