I flashed a W600-Pico with version 1.15.36 using W600-tool.py and set about determining which pins on the board corresponded to the Pins defined in OpenBK. All I did was go through setting each individual Pin to LED, toggling it on and then finding the pin on the board that was high (using an LED of course). This is the result:
You can define a lot of pins and have them all on the user interface, albeit in a completely useless fashion:
I hope it proves interesting to someone other than me.

