Suggestion to add Aliases to hostnames. When connecting to cloud resources such as AWS or Azure, the Host tab ends up taking about 1/2 of the space at the top. It would be nice to use a user-defined alias so it does not take up so much real estate.
Example:
xxx-xxx-yyy-rds.mydomain.us-east-3.rds.amazon.com -> "Dev"