added more details about how to extend Micro; extensions