Remove some stuff, add back ad-advised-definition-p.