- We keep the "export-table" option for compatibility reasons.

- It overrides the selection of source-specific tables.  Not sure if it
  is the right thing to do.

Thanks to Jernej Kos <jernej@kos.mx> for its review.