Comment 2 for bug 1997152

Here's the terminal ouput (I replaced the actual user name with <user>):

<user> 2303 1979 0 09:15 ? 00:00:00 diodon
<user> 4574 4518 0 09:16 pts/0 00:00:00 grep --color=auto diodon

Screenshot attached.