The development environment for `micro` - View it on GitHub