Gertjan

Thanks for your feedback! You already signalled that you did not see a use case, but I tried anyway. Your dislike of it forced me to think about it more....

Great! I'd like to try and prepare a new / updated PR that includes the proposed functionality. Is that ok?

I made some progress, but I ran into the refreshing aspect of the game. I am testing in the browser with two tabs, one for each player. In what I...

Came here and surprised this is not seen as a bug. Users need to be able to reset execution count, to have meaningful source control on a Jupyter notebook. Even...

just ran into this for python 3.11; this worked for me