bipface said:
you mean something like
document.getElementById('nav-pools-link').href = '/pools'
?

I don't work with code or scripts. I don't even know where I would put that. Surely we don't have to recode the site for ourselves for such a basic thing? I was hoping for an addition to the settings pages.

CCoyote said:
I don't work with code or scripts. I don't even know where I would put that. Surely we don't have to recode the site for ourselves for such a basic thing? I was hoping for an addition to the settings pages.

I'm guessing in the Custom CSS box in account settings

I also get confused when people start speaking bitcode

bipface said:
you mean something like
document.getElementById('nav-pools-link').href = '/pools'
?

I don't work with code or scripts. I don't even know where I would put that. Surely we don't have to recode the site for ourselves for such a basic thing? I was hoping for an addition to the settings pages.

Odisaodi said:
I'm guessing in the Custom CSS box in account settings

I also get confused when people start speaking bitcode

That wouldn't work, because the code snipped above is JavaScript and the custom CSS Box can only be used to apply custom CSS styles.
The JavaScript code above can be executed in the browser's Developer console (F12), it would only change the destination of the 'nav-pools-link' element so it routes to "/pools".