(def-edebug-form-spec): Add obsolescence info and delete redundant message. Doc