doc/user.md: More info on clone information panel (and more specifically...
doc/user.md: More info on clone information panel (and more specifically informations about CloneDB)
doc/user.md: More info on clone information panel (and more specifically informations about CloneDB)