Some small tools and scripts I use