Rò rỉ Samsung Galaxy S10 Edge, tên gọi chính thức thay cho Galaxy S10?