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