doc: put the repository information in the top of the development page