provide a red button to change the public code
Suppose I made papers on server A, printed papers, then used the same spec for server B. Now I will not be able to upload my test to server B.
Maybe I should---without suitable warnings---be able to change my public code.
Add this to the same screen of "dangerous actions" like the "reset everything" button #2387