These files could be edited according to user tastes and uploaded back to the receiver.
Most probably an existing settings editor could be adapted to work on these json files,
so you don't need to develop a new one

Please let us better exploit this very good receiver!