Miscellaneous scripts to orchestrate various things in AWS