Name picroft image wrong?

Yep, no typo, all official Picroft images are still Stretch so will not work on the RPi 4.

It’s entirely possible to install Mycroft on the Pi 4 if you have one already though: