I suppose the UI is meant for four buttons anyway, and like I said, it used to be the random button there rather than the tips one :unsure: but, indeed, I could live with something like a simple message (“press T for Tips” ? 😉 😛 ), three buttons and be done with it. 🙂