I want to spell out the design principles behind lazygit so that our priorities are clear and it's easier to make UX decisions