Hi Jeremy,
Thanks a lot for the fix!
Two follow-ups:
1. The option of SetCounter("label", "inc", number) is not mentioned in the wiki (https://www.pcibex.net/wiki/penncontroller-setcounter/). If it’s going to be a permanent feature, it might be useful to have it there.
2. If SetCounter("label", 4) means set the counter to 4, not increment it by 4 then it is not consistent with the details on the wiki page
You can also pass a number, as the single argument if you define no label, or as the second argument if the first is a string for the label. The number will be used to increment (if positive) or decrement (if negative) the counter by its value.
Best,
Umesh.