After some investigation, it turns out that it is actually gnome-terminal that constructs the no_proxy environment varible in terminal-screen.c.
After some investigation, it turns out that it is actually gnome-terminal that constructs the no_proxy environment varible in terminal-screen.c.