Onto extensions of free groups (Groups, Complexity, Cryptology, 2021)