Exponent equations in HNN-extensions (Groups, Complexity, Cryptology, 2022)