Mihael Pranjić

Confirming this happens sporadically. Initially only on the Alpine builds, now also on other instances.

I do not think we should add a blacklist for this specific reason. I suspect that `testscr_check_formatting` **sometimes** runs parallel to `testmod_specload`, and `testmod_specload` possibly modifies the file and then...

This is starting to occur more often. I marked check_formatting not to run in parallel with any other tests in febf6cd350321a4e2021f90371a2d6bced525565 as a quick fix. **Real fix to be done:**...

Yes, [it is](https://cirrus-ci.com/task/4788134348062720).

> Are there unit tests checking for this? I'm not sure what you mean. I encountered it when writing tests. There is however, no unit test, checking whether a key...

For me the problem is "_solved_". I work around this by clearing the flag by hand (since in the unit tests I know I hold the only reference to it)....

I think we can do this as part of the breaking changes series.

Currently the only approach to unlock a key is to duplicate it. Do we want to stick to this or add a (private) function to unlock, to save some operations?

> To make both things work (unlocking names + ref counting for bindings) we need two ref counters. Are bindings really using the ref counter? From what I see they...

> I am still not totally convinced that this bug here alone is enough to justify two counters. Yes, maybe it is a non-issue, especially if we remove/rename `ksPop`. We...