Rename `-ignoreElements` to `-ignoreValues`

See #628