I think a proper Wiki is the correct place for these things. Compared to a repository, a Wiki is more accessible for more kinds of people. It also allows better cross-referencing of information along with other relevant functionality.
That being said, let’s not argue too much about where the best place might be. Getting things done is more important, so go ahead! It should be easy to copy the content to a Wiki at a later point.