Rename "options" to "inputs"

See 020657f65d8f3d95192643515abe80105aedee23 for discussion.