I'll try reaching out to txoko to find out what they run. Apart from nutshell, is there any other software you'd recommend for running a mint?
Discussion
Nutshell is by far the most developed one. It works flawlessly for me. I've written down some best practices for mint runners here, please feel free to share: https://gist.github.com/callebtc/ec4d41582e356b63989f7a9a57bba831