chiark / gitweb /
distorted.lisp: vampire is out of action, so remove it from NS lists.