I think they mean like the macOS-native functionality where you hover over a URL and macOS changes the cursor from an arrow to a hand with the index finger pointing.

This might be the CSS? (I am not a CSS guy, sorry.)

    cursor: pointer;

https://www.w3docs.com/tools/code-editor/2404

Yeah I do mean for buttons. I strongly prefer having the equivalent of `cursor: pointer` for all buttons in the UI. This change is the primary reason that I didn't switch to the minimal theme before. Is there a way to bring back the pointer for buttons in the 1.0 default theme? Or will I need to create my own theme for this now?

Edit: Ah I see. You're suggesting installing the "Style Setting" plugin, installing and changing the theme to "Minimal" and then setting the "Cursor style" to "Pointer".