Clarify Array.erase for nonexistant element.
The docs specify that Array.remove does nothing if the index does not
exist. Array.erase does not have a similar phrase, so it's unclear if
erase will print an error, or silently do nothing.
(cherry picked from commit f84e2db35e2f6eceb4f8c3a1e8e9de7adf6f4c30)