42fb9cfd5b18 ("Documentation: dev-tools: Add link to RV docs")