Another project I’m working on has been using a documentation folder within the github repo for developer documentation. If you use Markdown it’s pretty readable on the command line and great on github and it keeps code + doc in one place. I think it might work well for Stan too. I’m not sure why we struggle with wiki’s and discussions for this stuff.