Can anybody suggest a good terminal for iOS? I’ve used iSH a fair amount in the past but that hasn’t had an update in three years. I’m mainly just looking for tools like curl, dig, ping etc.