On Wed, 11 Jun 2014, Tobias Burnus wrote:
This patch converts some more files, but I think one should at some point change all files.
I'm working on this now, alas not per file, but according to groups of links and trying to clean up some aspects (by reducing links and make them relative where possible). We're down to perhaps 90 links left, and some of these need more special treatment. Gerald
