Just a quick update

Information about how GitHub syncs is now in the document :)