@gorobar @penguin42 Yeah, I don't know why @system76 went with text labels rather than arrow symbols for the cursor keys...