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