Doc fixes and delete SVN relics