@severin I've done an #OpenBSD port or retex 1.2.0 :https://marc.info/?l=openbsd-ports&m=179261173699299&w=2
Enter the server where you have an account.
Please enter a valid server hostname.