Read description

I need to use the copy of the code on my other computer to overwrite the
master copy, as the PR completely corrupted the repository. This entails
a loss of 2 hours of work. From now on, no merges, no PRs, under ANY
circumstances.