Qduino issue

The link in the Arduino IDE is pointing me here for “Online help”…

When I try to install the Qduino Mini in the Boards Manager, I’m just getting “CRC doesn’t match. File is corrupted.” I see there was a similar issue with Adafruit libraries a while back (https://github.com/arduino/Arduino/issues/3206). Is this on my end or on the github end?