Minor modifications (keymaps, theme, etc.)