[GitHub] Documentation done right: A developer’s guide