Comment 4 for bug 1870939

@Sean: I used this way to reinstall micro and bypass the bug in repo:

$ sudo apt remove micro
$ sudo apt install curl
$ curl https://getmic.ro | bash
$ sudo mv micro /usr/bin/micro