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