Update GitHub Pages site. Split docs into two different pages, one for users and one for developers.