Revert the two compat tests for the export syntax change

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

assigned to @Diziet

enabled an automatic merge when the pipeline for 08e561ee succeeds

mentioned in issue #95 (closed)

mentioned in commit 74e21c23

merged