Should the Luigi's Mansion Games Implicate the main Mario series?

BUR #22765 has been approved by @nonamethanks.

create implication luigi's_mansion -> mario_(series)

I was going to add some Mario implication requests, but I noticed that the Luigi's Mansion spin-offs aren't implicated to the main mario (series) tag for some reason. Then again, no one has implicated the sequel games to the main tag either. So I wanted to propose the possibility here to see what happens. Personally, I'm for it, considering its very wiki describes it as a subset of the Mario series and Mario himself is a character in these games, if that's all that really matters. But here's the basic proposal, just to be safe.

BUR #22766 has been approved by @nonamethanks.

create implication luigi's_mansion:_dark_moon -> luigi's_mansion
create implication luigi's_mansion_3 -> luigi's_mansion

Though if the proposal to implicate Luigi's Mansion to Mario (series) falls through, can we at least implicate the sequel games to this tag? I do think they should logically implicate each other, in the end. Though considering there's also the original game just called "Luigi's Mansion", I'm a little worried that might cause search issues for just the original game. The sequel tags are much smaller compared to the big Luigi's Mansion tag though, but that's not an excuse.

The bulk update request #22765 (forum #266647) has been approved by @nonamethanks.

The bulk update request #22766 (forum #266648) has been approved by @nonamethanks.