Ok that explains why I couldn't find it.
Wouldn't it be possible to use JSON (or MsgPack) over MQTT as-well?
The usecase I have in mind is to have pinoccios with mechanical segment display attached. I would then like to send numbers to display to one or several of these devices.
The devices schould sleep most of the time and only periodically wake up to check if there is a new message for them and if yes update the display accordingly. So I can save most power.
What to display on each device is managed by a central server and my idea was to send the data via MQTT to the devices.
MQTT seemed perfect for my usecase, but maybe the current pinoccio solution would also work. Is there some documentation about how it is implemented?