[CrateDB v1.0.1] Renaming a table

While there are alter table functions in later versions of CrateDB, our current instance is at 1.0.1 and unable to be upgraded in the near term. Does anyone know what the most effective way of renaming a table would be at that version? Our best guess at this point is to copy the current table under a new name to back it up, drop the existing table, and then copy the new table as the dropped table name.

With version 1.0.1 the only supported option is exporting/importing the table using COPY TO/FROM like you described.