Dev tools

There are always people being curious about our development toolset. I’m listing them here: