An example URL shortener using Python and Redis.