bocops, 4 months ago

You could also change how the lists are stored in the first place, using .joinToString(separator = "...") on your list.

Unless you can really find a separator character that will never be used, JSON seems to be the safer bet, though. :)