User-specific? Why isn't the page excluding the header part cached separately, or am I missing something?
That's a perfect example of graceful degradation / progressive enhancement.
A JS event on the html element cancels clicks on those links and handles them in JS with AJAX so the page is not reloaded.