There is no discussion ever occurred about the merge, so I assume WP:BOLD and merged the article. MarioJump83! 06:02, 3 January 2021 (UTC)Reply
