Update documentation for github UI and add 'prelude' installation