Remove stuff that does not apply anymore from sexp doc