Some wiki pages don't render. Switch to gh-pages? about omorfi HOT 2 CLOSED

Cool, I tested it by merging your branch into new gh-pages of mine, I'm still learning to use git so it might be somewhat backwards but seemed to work, that should be a good way to go, it seems neat and readable. A good part of the pages is semi-autogenerated from test runs, resulting automata summaries and database stuff, so it's pretty hard to read, but should be useful especially if you know what to look for 😄

from omorfi.

I think the move to gh-pages has been finalised, thanks.

from omorfi.