This add two features that have not been added to Bogster from what I can tell:

• A distinct way to show jump labels.
• Primary selection highlight color (see many built-in themes do not have a separate highlight color for the primary selection #3842).

Here's a before / after view for the jump labels:

Before	After

And here's a before after view for the primary selection highlight:

Before	After

I hope this is sufficient as far as PRs go, I've been using these tweaks since 24.03, and I'm finally getting around to upstreaming them.