User settings allow you to customize your own personal Gitpod experience.