Modify installation section to use `github` option