Manual establishment stuff (incomplete but this bit is ok)

So, as I said, I *can* send you a pull request without first forking from you. It's as simple as the "Edit" button on the pull request to choose you instead of David.

However, although *all* my commits are relevant here, I realize that my pull might have been based on something different, i.e. I made a new branch from my master, and my master may have included some things that you didn't have fully up to date… I'm not sure.

This PR is just wording changes. I had two issues that still need to be dealt with:

* I saw *no* interface to do the establishment at all! Didn't you add *some* UI for establishment? In my testing I saw no link to mark a user as eligible either at comments or at the user page. You mentioned me fixing the UI that was ugly, but I saw no UI at all.

* I had errors with the migration files. After resetting the development database, it ran successfully *after* I deleted your new migration10 and migration11 files. I didn't commit those changes because I'm not sure what's going on. Maybe there's something else in my repo that is conflicting somehow. Or maybe those migrations were made in a partial thing and you only accidentally committed them?

Given this stuff, I'm a bit confused about what's happening.

Anyway, it definitely *does* work for you and I to do pull requests back and forth, and GitHub knows that we're both forked off of David, so it's simple enough. We just need to collaborate to figure out what's going on now and consolidate and work until we have something workable to give to David.