The text 894562c1264e, as Debian 13 (Trixie) shipped it. The page shows this text now.
hcx tools set
hcxpmktool(1) on Linux now
