Documentation update (links and tools).