I just did an export while trying to create an importer to my app DoubleMemory. Pocket actually does export tags. It’s probably a miscommunication.

Here is what the raw csv look like if you check my tool example: https://doublememory.com/posts/tools/pocket/

The text that’s separated by pipe are the tags.