More micros, less Guinness

Bizarrely, the Guinness book of world records lists the “first microcomputer” as 1980’s Xenix. This doesn’t seem right to me:

1. Xenix is an operating system, not a microcomputer.
2. Xenix was announced in 1980 but not shipped until 1981.
3. The first computer to be designed around a microprocessor is also the first computer to be described in patents and marketing materials as a “microcomputer”—the Micral N.