Severity: wishlist

Can we delete the unused macro DEFVAR_LISP_NOPROX?

We can always resurrect it again if it turns out that we need it.