
        Implement the delete proxy trap (fixes #2213).

6b44f92