Random tools I made, and are maybe useful in the future.