Anything you are sure of should be brought to the attention of the boys over at wokwi. They are very responsive.
I can't remember better than to google
wokwi features girhub
which works to find where, and would probably work even better if I said "github".
a7