It would be more convenient to install micro on servers if you could just run `apt-get install micro`.
It would be more convenient to install micro on servers if you could just run
apt-get install micro.