Nintendo 3DS XL production to be discontinued in Japan: Difference between revisions