hi guys, it appears that you moved the primary git repo to github. did i miss the announcement on this list, or did you simply forget to make one? anyway, you updated the home page, but not the various wiki pages, so i have no clue in how far the information as a whole is still current. how do i contribute? as before? via pull requests?