Note to self (for remembering changes I made to gnome-terminal).