No runlevels, start X regardless
Change input method to SCIM
Add HOL4 mode to emacs
Update path to agda-mode
Remove 'extract' function
Functions for SOCKS proxying chromium
Function to add to ssh config
Code to rip a CD and name the files appropriately