The bulk update request #10862 has been approved by @nonamethanks.
create implication mahou_shoujo_tart_magica -> mahou_shoujo_madoka_magica
create alias magia_record -> magia_record:_mahou_shoujo_madoka_magica_gaiden
create alias puella_magi_oriko_magica -> mahou_shoujo_oriko_magica
create alias oriko_magica -> mahou_shoujo_oriko_magica
create alias puella_magi_tart_magica -> mahou_shoujo_tart_magica
create alias tart_magica -> mahou_shoujo_tart_magica
create alias puella_magi_suzune_magica -> mahou_shoujo_suzune_magica
create alias suzune_magica -> mahou_shoujo_suzune_magica
create alias puella_magi_kazumi_magica -> mahou_shoujo_kazumi_magica
create alias kazumi_magica -> mahou_shoujo_kazumi_magica
create implication mahou_shoujo_madoka_magica_plus -> mahou_shoujo_madoka_magica
create implication mahou_shoujo_madoka_magica_mobage -> mahou_shoujo_madoka_magica
create implication mahou_shoujo_madoka_magica:_walpurgis_no_kaiten -> mahou_shoujo_madoka_magica
Fixing a missing implication, adding English titles and shortened titles, for convenience's sake. Though, I noticed that Kazumi Magica and Tart Magica have subtitles included ("The Innocent Malice" and "The Legend of "Jeanne d'Arc"", respectively), should I add them? They seem to typically be listed.
Additionally, I found two problems with current Madoka Magica tagging - Mahou Shoujo Madoka Magica Movie and lack of a tag for the OG main series.
PMMM Movie, as a tag, is supposed to be used for four separate movies - first two are simply adaptations, fourth is yet-to-be-released, and the 3rd one, Rebellion, is pretty much most of the tag in modern usage. Since there are four of them, and two of them are adaptations of the OG anime, my solution would be to make the current tag Rebellion-only (after gardening, of course), and what's tied to the first two movies to just be removed from the tag, with the unreleased movie getting its own tag. Afaik adaptations generally don't get their own tags most of the time, so I don't see why should the first two get their own.
The other issue is that Mahou Shoujo Madoka Magica currently functions as both a series catch-all, and a tag for the 2011 anime. While it is possible to search "mahou_shoujo_madoka_magica -magia_record:_mahou_shoujo_madoka_magica_gaiden -mahou_shoujo_tart_magica -mahou_shoujo_kazumi_magica -mahou_shoujo_oriko_magica -mahou_shoujo_suzune_magica", most series get separate catch-alls and first installments tags. What I think would work is changing the current Mahou Shoujo Madoka Magica tag into something along the lines of puella_magi_(series), and creating a new tag for just the OG anime, mahou_shoujo_madoka_magica_(anime) or something. It's still not an ideal solution, imo, since it still has the two movie adaptations, two manga adaptations, a light novel adaptation and probably some others I'm missing, but at least it'd be something.
EDIT: Added Mahou Shoujo Madoka Magica Plus and Mahou Shoujo Madoka Magica Mobage implications to the BUR.
EDIT2: Also Walpurgis no Kaiten