Tiny tools for developers.