Ah, I didn't expect the results to be different when looking at the overview, this is what I saw..
Any way to break down that "Other" and see what it contains? If it counts Ubuntu 22.04.4 LTS and Ubuntu 24.04 LTS as different operating systems there might be some more Ubuntu versions hiding in there.
Only 3.8B parameters according to the paper, so it ought to be quite easy on the hardware as well if they do.