Apparently, this user prefers to keep an air of mystery about them.
2 How can I change my gnome-terminal title? Mar 12 '13
1 How can I automatically lower Spotify playback volume when my Video Editing program makes a sound? Jun 26 '12
1 Filtering serial port io Jun 25 '12