Settings for various tools I use