Ok, but the product is called “Adafruit CYBERDECK HAT for Raspberry Pi 400”. It’s not really muddying the waters to call it “cyberdeck” for short when you’re writing an article about it...