Should this be merged with LEGO Mindstorms EV3 Extension?

I think this article is basically a duplicate of LEGO Mindstorms EV3 Extension and should be redirected there instead of this being a separate page.
ContourLines Logo.png ContourLines Talk | Contributions | Directory 12:33, 2 August 2020 (UTC)

I have just realised that this is different but this should be merged with that page and this content should be included there.
ContourLines Logo.png ContourLines Talk | Contributions | Directory 12:38, 2 August 2020 (UTC)
I agree that it should be merged, because this page is a stub so if the content of it is merged it would add extra info to the LEGO Mindstorms EV3 Extension and this page would no longer be a stub because it would have been merged. Thanks for the suggestion, I agree. :)
Filmlover12 (talk | contribs) 12:47, 2 August 2020 (UTC)
I think it would make sense to merge it; this page is pretty small and can definitely be combined with the extension page.
Groko13 (talk | contribs) 13:34, 2 August 2020 (UTC)