Add tinyproxy so I can help my co-worker access a restricted service.