Moved to github, also some doc fixes.