currently some documentation is in the user-facing HTML in this repository; some of it is in .org files; and some of it is in my head. Move it all into the Wiki and delete it from its previous incarnation.
I started looking through the files under doc/. I made some edits in those files directly without porting them to the Wiki. That will come soon enough, I hope.
currently some documentation is in the user-facing HTML in this repository; some of it is in .org files; and some of it is in my head. Move it all into the Wiki and delete it from its previous incarnation.