Notes on tools I use