Add jeremy's aliases, theme and other options