An almost fully-portable URL shortening service