Revert the two compat tests for the export syntax change

Ian Jacksonrequested to merge
incompat-followup into main

Reverts the compat tests for #95 (closed), which we no longer need since we're no longer trying to be compatible.

Merge request reports