No more names! (#103)

Eliminate a lot of redundancy by removing the `name` attribute from
html <input> tags whenever possible (since the `id` is already
adequate). I left it in for radio buttons…for obvious reasons.