Some productivity tools for AWS instance management