[DocBetterCoverage] Refactoring the RFC into the implementation doc