[jcranmer]

I've definitely seen discussions of the binary format on the forums in the past. I wrote my own script for figuring out what the table for the 16-bit IDs was, but I've never committed the result anywhere.