On Linux, what is a process's name? I've found this to be more complicated than I thought it would be. Clearly it's non-trivial because it seems top and ps can disagree about a process's name. As usual I have Firefox and some of its worker processes cheerfully burning some CPU for no apparent reason, so let's use one of those. top - 14:53:48 up 5 days, 3:20, 28 users, load average: 0.47, 0.82, 0.74 Tasks: 629 total, 1 running, 543 sleeping, 0 stopped, 4 zombie %Cpu(s): 1.9 us, 0.8 sy, 0.0 ni,...