Yeah, they're examples - this is the default contents of "/etc/default/docker" (the configuration file for "/etc/init/docker.conf" and "/etc/init.d/docker").