Not to be confused with Mina: blazing fast application deployment tool (https://github.com/mina-deploy/mina)