@BGK: thinking of it - choose whatever tool/way you prefer. The main thing is content and we can always later convert it. If you know how to use Github pages or don't have any preference, make it there. It could be separate repository and we can easily later integrate it into the main one.