Fixing because GitHub's embed changed
Renaming micro into meta-micro