Implement the delete proxy trap (fixes #2213).