Rights check on DestroyElements

Check the documentation, unit tests, and expected access rights against the actual behavior of DestroyElements.

See #676 for the context and further instructions on how to check.