3 ms·

I think an AJAX-based refresh would feel more snappy than a full page reload to shake out a new set of links.