Setup tools

Last modified February 22, 2021 at 7:13 PM PST: changes (2b6074e8e)