Reset single exercise

[Voileexperiments]

It seems that the only to reset an exercise (due exercise content changes) is to either modify the local storage manually, or restart the whole game. It'd be good to have a button to just reset the selected exercise.

[teorth]

There already is a "restart exercise" button (and a hotkey "r"), but do you mean something else? It is true that due to changes in an exercise (e.g. 1.1) one can artificially have a proof of an exercise that is shorter than the record. I guess I could add an "unsolve" button to remove the solved status (and proof) of a given exercise, is this what you have in mind?

[Voileexperiments]

an "unsolve" button to remove the solved status (and proof) of a given exercise

Yes.

[teorth]

This is now implemented.