(Update: this dev is always working to reestablish broken links, I've been using it for yrs, it's always fixed!) has worked everytime, and if not immediate then a page reload has always fixed everything, which is definetely not too much to do for something so handy!
