Hi Starfish23,
Thanks for checking out the plugin!
The option IDs aren’t exported or imported. Everything is done using the options API, which provides no way to interact with the IDs. That said, the IDs don’t matter. If you’re using a plugin or theme which queries options by ID, that plugin or theme is doing it wrong and it will cause you problems at one point or another.
Cheers,
Matt