[marius_k]

Looks like fedora has micro in her default package repository[0]. I doubt it is set in $EDITOR by default though.

[0] https://src.fedoraproject.org/rpms/micro