Clarify the difference between this document and this repository