Right. The part of the page that says "download (then $chmod +x k)" and linking to http://kparc.com/download/k is password-protected. I just want to follow along some of this tutorial material. I'll try to do this with Kona.