Revert mapMG renaming

Reverting unnecessary renaming created in !13658

requested review from @bgamari

assigned to @alt-romes

assigned to @marge-bot and unassigned @alt-romes

I will attempt to batch this MR (!13698 (closed))...

Batch MR !13698 (closed) failed: CI failed! I will retry later...

I will attempt to batch this MR (!13699 (closed))...

Thanks, @alt-romes !

Merged in ed1ed5c6

closed