I was already used to smartphone manufacturers using weird codenames, but I didn't know the tradition was also a thing on laptops! A search on the internet proved me it's the right name, as reported by some users on Windows. ej: https://browser.geekbench.com/v4/cpu/14583235 Thanks for helping other users!