Yes, `define-syntax` is ignored in general.  I think it's good to keep the `ignore` here explicitly -- even in we looked at `define-syntax` at some point, we wouldn't want to look at this one.