Hi Tobias, >From my quick tests, the 9 broken links that you reported are now fixed.
> This bug serves mainly to keep track of what needs fixing and remind > myself to do so. I don't expect anyone to jump. Does it make sense to close it? Thanks in advance for any comments. All the best, simon
