Attached is patch that allows more freedom in changing
the value of various submit buttons, so that the
op-table doesn't need to be updated each time the
button label is changed.
This is done by decoding form parameters that are named
op_foo into op=foo.
Further description in