Source: Written by Denis Knauf.
Upstream: No, it is a config file. I prefer a specific tinyproxy-user.
Reason: tinyproxy is a better user than nobody for it.
--- a/etc/tinyproxy.conf.in	2010-03-03 10:37:24.000000000 +0100
+++ b/etc/tinyproxy.conf.in	2013-03-09 15:34:41.072135782 +0100
@@ -12,8 +12,8 @@
 # as the root user. Either the user or group name or the UID or GID
 # number may be used.
 #
-User nobody
-Group nobody
+User tinyproxy
+Group tinyproxy
 
 #
 # Port: Specify the port which tinyproxy will listen on.  Please note