nfiguration
   file that's stored on the Pico.  Unlike the original KL25Z version
   of Pinscape, which had an internal configuration file that you
   could only access through the GUI settings dialog, the Pinscape
   Pico config file is designed to be edited directly.  It uses the
   JSON format, which is a modern computer format that's easy and
   pleasant for humans to work with.
</p>
<p>
   Full documentation of the JSON configuration format is
   available in the following sources, but you don't have t