Thanks. For now I’ll just write a python script to convert the file via the way you described. There’s quite a few use cases for such feature, such as sniffing communication over serial port to understand the protocol or dumping data transmitted over serial etc.