Update github repo to be up-to-date, and BUMP it to trigger GH Pages generation