A tool to shorten URLs à la tinyURL, that you can put on your own server.