I haven’t yet, no. But if it helps, here’s what the enums in the JSON refer to:
const types = { EMPTY: 0, WALL: 1, GOAL: 2, BLOB: 3, PAINT: 5, SWITCH: 7, } const colors = { GREEN: 0, YELLOW: 1, }