I really, really hate the way that "git add" works. Sigh. YET ANOTHER
example of changes made locally that I really thought I'd added, but
which weren't actually added. *Really* let manager-type users edit
their accounts.