Various shell scripts and other tools I use