Purpose: Change the default welcome banner slightly.
         Then users can tell this torch instance from the upstream one.
Forward: never. Debian-specific. keep it downstream.
diff --git a/th b/th
index dfd8d50..71da932 100644
--- a/th
+++ b/th
@@ -153,7 +153,7 @@ if asyncrepl then
    print(
 [[
  
-  ______             __   ]]..col.Black[[|  Torch7]]..[[ 
+  ______             __   ]]..col.Black[[|  Torch7 / Debian]]..[[ 
  /_  __/__  ________/ /   ]]..col.Black[[|  ]]..col.magenta[[Scientific computing for Lua.]]..[[ 
   / / / _ \/ __/ __/ _ \  ]]..col.Black[[|  Type ? for help]]..[[ 
  /_/  \___/_/  \__/_//_/  ]]..col.Black[[|  ]]..col.blue[[https://github.com/torch]]..[[ 
@@ -179,7 +179,7 @@ else
    print(
 [[
  
-  ______             __   ]]..col.Black[[|  Torch7]]..[[ 
+  ______             __   ]]..col.Black[[|  Torch7 / Debian]]..[[ 
  /_  __/__  ________/ /   ]]..col.Black[[|  ]]..col.magenta[[Scientific computing for Lua.]]..[[ 
   / / / _ \/ __/ __/ _ \  ]]..col.Black[[|  Type ? for help]]..[[ 
  /_/  \___/_/  \__/_//_/  ]]..col.Black[[|  ]]..col.blue[[https://github.com/torch]]..[[ 
