Remove dead debug code

2a3a8a2256bc7b22bb0829fe556f07b4c0b294ba
Remove some references to SVN

If by now we still have those around, something else was broken long ago.