Comment by dmitry_lyfar

Thanks! Yes, that's a bit annoying to change it again and communicate (and, possibly, confuse users even more). Agree, the search engines suggest Termius as a fix now, so we'll probably leave it as is.